二木 厚吉 | 電子技術総合研究所
スポンサーリンク
概要
関連著者
-
二木 厚吉
電子技術総合研究所
-
二木 厚吉
電子技術総合研究所 ソフトウェア部言語処理研究室
-
二木 厚吉
Electrotechnical Labotory Computer Science Division Computer Language Section
-
二木 厚吉
北陸先端科学技術大学院大学情報科学研究科
-
片山 卓也
東京工業大学
-
杉田 公生
東海大学
-
真野 芳久
電子技術総合研究所 ソフトウェア部
-
大蒔 和仁
電子技術総合研究所
-
夜久 竹夫
東京電機大学理工学部情報科学科(日本大学文理学部数学科)
-
鳥居 宏次
阪大
-
石川 裕
電総研
-
戸村 哲
電子技術総合研究所情報アーキテクチャ部
-
石川 裕
電子技術総合研究所:(現)新情報処理開発機構
-
夜久 竹夫
東海大学理学部
-
外山 芳人
日本電信電話公社武蔵野電気通信研究所基礎研究部第一研究室
-
鳥居 宏次
電子技術総合研究所ソフトウェア部
-
石川 裕
電子技術総合研究所
-
久保田 美明
東海大学電子計算センター
-
細井 潔
東京電機大学
-
足立 暁生
日本ibm
-
守屋 悦朗
東京女子大学
-
大蒔 和仁
電総研
-
外山 芳人
東北大学
-
杉田 公生
東海大学理学部
著作論文
- 実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)
- 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
- プログラミング方法論の展望
- 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)
- プロセス代数モデルに基づく並行オブジェクト指向言語の意味定義
- プログラム図式を用いたプログラム開発教育環境
- 形式仕様記述言語LOTOSの試用経験
- プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
- 特集「非手続き型プログラミングのための計算モデル」の編集にあたって
- シリコンバレー流基礎研究所の作り方 : Stanford大学のCSLI
- An Extended Iteration Statement and Its Computability (Studies on Computational Complexities and Related Topics)