佐藤 伸也 | 姫路獨協大学経済情報学部
スポンサーリンク
概要
関連著者
-
佐藤 伸也
姫路獨協大学経済情報学部
-
杉本 徹
理化学研究所脳科学総合研究センター
-
佐藤 伸也
東大院工
-
杉本 徹
理化学研究所
-
杉本 徹
独立行政法人理化学研究所脳科学総合研究センター
-
佐藤 伸也
東京理科大学大学院理工学研究科
-
杉本 徹
東京理科大学理工学部
-
秋本 義久
姫路獨協大学一般教育部
-
山田 眞市
東京理科大学理工学部
著作論文
- インタラクションネット抽象機械の軽量化
- インタラクションネット抽象機械の軽量化
- 古典線形論理の計算的解釈Linear CHAMに基づく関数型言語とその並列実行モデル
- Linear CHAMを用いた型付きλ項の評価
- 古典線形論理の計算的解釈に基づく関数型言語の並列実行モデル
- 型付きλ計算の古典線形論理の計算的解釈への埋め込み
- インタラクションネット上のλ評価器における再帰演算の実装 (木村滋教授戸田宏教授宮垣盛男教授倉橋浩一郎教授退職記念号)
- インタラクションネット抽象機械の軽量化
- 古典線形論理の計算的解釈 Linear CHAM に基づく関数型言語とその並列実行モデル
- 高記録値個数を用いた乱数列の検定
- インタラクションネット上のλ評価器YALEにおける再帰演算の実装