二木 厚吉 | Electrotechnical Labotory Computer Science Division Computer Language Section
スポンサーリンク
概要
関連著者
-
二木 厚吉
Electrotechnical Labotory Computer Science Division Computer Language Section
-
二木 厚吉
電子技術総合研究所 ソフトウェア部言語処理研究室
-
二木 厚吉
電子技術総合研究所
-
二木 厚吉
電総研
-
真野 芳久
電子技術総合研究所 ソフトウェア部
-
鳥居 宏次
阪大
-
外山 芳人
日本電信電話公社武蔵野電気通信研究所基礎研究部第一研究室
-
鳥居 宏次
電子技術総合研究所ソフトウェア部
-
二木 厚吉
電総研・ソフトウェア部
-
外山 芳人
東北大学
著作論文
- ISOにおける形式記述技法の標準化動向 (通信システムの形式記述技法の標準化)
- 実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)
- 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
- プログラミング方法論の展望
- 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)
- A.V.Aho, J.E. Hopcroft, J.D.Ullman 著, "The Design and Analysis of Computer Algorithms", Addison-Wesley 社, Reading, Mass., B5 変形判, 470p, \6,310, 1974