吉田 展子 | 慶應義塾大学理工学研究科計算機科学専攻
スポンサーリンク
概要
関連著者
-
吉田 展子
慶應義塾大学理工学研究科計算機科学専攻
-
本田 耕平
エジンバラ大学計算機科学科
-
久保 誠
千葉商科大学経営学科
-
吉田 展子
慶應義塾大学理工学部
-
本田 耕平
慶応義塾大学計算機科学科
-
吉田 展子
慶応義塾大学計算機科学科
-
吉田 展子
インペリアルカレッジロンドン
-
竹内 格
NTTソフトウェア研究所
-
本田 耕平
慶應義塾大学理工学部
-
久保 誠
慶應義塾大学理工学部
-
久保 誠
慶応義塾大学計算機科学科
-
指野 篤司
慶応義塾大学計算機科学科
-
竹内 格
慶応義塾大学計算機科学科
-
バスコンセロス バスコ
慶応義塾大学計算機科学科
-
本田 耕平
慶應義塾大学
-
本田 耕平
慶応義塾大学理工学部計算機科学科
-
指野 篤司
慶應義塾大学理工学部
-
竹内 格
慶應義塾大学理工学部
-
バスコンセロス バスク
慶應義塾大学理工学部
-
本田 耕平
マンチェスター大学計算機科学科
著作論文
- ν計算・並行結合子・プログラミング言語
- ν計算・並行結合子・プログラミング言語
- 名前通信プロセス計算の並行コンビネータ
- FPCA '93
- 2.π-計算とその周辺 (並行計算の理論の最近の動向)
- 共有環境を用いた弱λ-計算における最適簡約定理
- 並行計算のための簡約意味論
- 簡約意味論の理論と実践