Skip to content

Instantly share code, notes, and snippets.

View msakai's full-sized avatar

Masahiro Sakai msakai

297 followers · 297 following
View GitHub Profile
@msakai
msakai / README.md
Last active May 2, 2026 08:13
体 F が x + y = 1 かつ x y = 1 を満たすような元を持たない時、F ∪ {∞} は演算 x ⊛ y := (x y - 1) / (x + y - 1) に関して群になる
@msakai
msakai / TUTORIAL_ja.md
Last active February 3, 2026 15:22
PLaMo翻訳の markdown 翻訳 (日本語→英語) でマークアップが崩れた例

CPL チュートリアル

はじめに

CPL (Categorical Programming Language) は、圏論の概念に基づいて設計されたプログラミング言語です。CPLでは、通常のプログラミング言語で「データ型」や「関数」と呼ばれるものが、圏論における「対象」と「射」として扱われます。

集合論 関数型プログラミング CPL
集合 データ型 対象
写像 関数 射
@msakai
msakai / ProximalGradientMethod.hs
Last active July 8, 2025 23:29
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
module ProximalGradientMethod where
import Data.Foldable
import Data.Reflection (Reifies)
import qualified Data.Vector.Storable as V
import Numeric.AD
import Numeric.AD.Mode.Reverse
@msakai
msakai / LinearDistributivity.als
Created November 14, 2024 00:11
sig E {
join, meet : E -> one E
}
one sig top, bot in E {}
fact {
all x, y, z : E {
-- commutativity
x.join[y] = y.join[x]
x.meet[y] = y.meet[x]
@msakai
msakai / Bug.hs
Last active July 7, 2024 16:20
GHC 9.6.6 fails with lookupIdSubst panic
module Bug where
import Control.Monad.Primitive
import qualified Data.HashTable.ST.Basic as H
data Symbol a = Symbol
data Node s a = Node
data Rule s a = Rule (Node s a)
@msakai
msakai / README.md
Last active June 23, 2024 14:17
@msakai
msakai / CohensKappa.hs
Last active June 8, 2024 16:36
module CohensKappa where
import Data.Hashable
import qualified Data.HashMap.Strict as HashMap
-- | Cohen's kappa coefficient (κ)
--
-- https://en.wikipedia.org/wiki/Cohen%27s_kappa
cohensKappa :: (Hashable c, Fractional a) => [(c,c)] -> a
cohensKappa xs = (po - pe) / (1 - pe)
@msakai
msakai / mypy_dependent_type.py
Created June 5, 2024 03:04
from typing import Literal, Optional, Tuple, overload
@overload
def f(with_extra_info: Literal[False]) -> Tuple[int, int]: ...
@overload
def f(with_extra_info: Literal[True]) -> Tuple[int, int, str]: ...
# This overload is necessafy for type checking the last `f(with_extra_info)`.
@overload
@msakai
msakai / OkapiBM25.hs
Created December 16, 2023 17:05
{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
-- https://en.wikipedia.org/wiki/Okapi_BM25
module OkapiBM25
( Database
, mkDatabase
, query
) where
@msakai
msakai / test_psycopg2_isolation_level.py
Last active November 26, 2023 03:22
import psycopg2
dsn = "postgresql://user:password@localhost:5432/"
db_name = "test_db"
conn = psycopg2.connect(dsn)
try:
conn.set_isolation_level(psycopg2.extensions.ISOLATION_LEVEL_AUTOCOMMIT)
with conn.cursor() as cur: