疋田 輝雄 | 東京都立大学理学部
スポンサーリンク
概要
関連著者
-
疋田 輝雄
東京都立大学理学部
-
疋田 輝雄
東京都立大学理学部数学科
-
武市 正人
電気通信大学電気通信学部計算機科学科
-
和田 英一
(株)IIJイノベーションインスティテュート
-
和田 英一
東京大学工学部
-
徳田 雄洋
東京工業大学理学部情報科学科
-
河田 汎
富士通
-
川合 慧
東京大学大学院総合文化研究科
-
徳田 雄洋
山梨大 工
-
石畑 清
東京大学理学部情報科学科
-
徳田 雄洋
山梨大学計算機科学科
-
永田 守男
慶應大学理工学部管理工学科
-
山田 真市
日本ユニバック(株)技術企画部
-
徳田 雄洋
山梨大学工学部計算機科学科
-
川合 慧
東京大学
-
石畑 清
明治大学
-
疋田 輝雄
明治大学
-
河合 慧
東京大学大学院総合文化研究科
著作論文
- 特集「プログラミング言語 Prolog」の編集にあたって
- 特集「日本のソフトウェアの草創期」の編集にあたって
- 遅延つき関数の完全性 (多値論理およびその応用)
- 小特集「プログラミング言語 : PascalとAda」の編集にあたって
- コンビネータによる言語処理系
- 19. 再帰呼出しの実現法 (アルゴリズムの最近の動向)
- Listing Subtrees of a Binary Tree (形式言語理論とオートマトン理論)
- Pascal総説 (プログラミング言語 : PascalとAda)
- On a Class of Recursive Procedures and Equivalent Iterative Ones (情報科学の数学的基礎理論と応用)
- Variable SharingとMessage Sendingとの間のプログラム変換 (数理情報科学の研究)