Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. はてなブックマーク
  3. syamino

id:syamino

投稿一覧（最新100件）

1 0 0 0 圏論的結合子の操作的意味について

[Categorical Combinator]

1 0 0 0 随伴関手を用いた圏論的結合子の導出

[Categorical Combinator]

3 0 0 0 OA パラメトリック・ポリモルフィズム

[パラメトリシティ][線形論理][不動点コンビネータ][System F]

1 0 0 0 OA CafeOBJ入門(1) 形式手法とCafeOBJ

[CafeOBJ]

3 0 0 0 ソフトウェア工学の現状と動向:実行可能仕様に基づく変換プログラミング

1 0 0 0 非手続き型プログラミングのための計算モデル:項書き換え型計算モデルとその応用

プログラム変換