二木 厚吉 | 電子技術総合研究所 ソフトウェア部言語処理研究室

スポンサーリンク

概要

• 同名の論文著者
• 電子技術総合研究所 ソフトウェア部言語処理研究室の論文著者

関連著者

• 二木 厚吉

  電子技術総合研究所 ソフトウェア部言語処理研究室

• 二木 厚吉

  電子技術総合研究所

• 二木 厚吉

  Electrotechnical Labotory Computer Science Division Computer Language Section

• 杉田 公生

  東海大学

• 真野 芳久

  電子技術総合研究所 ソフトウェア部

• 大蒔 和仁

  電子技術総合研究所

• 夜久 竹夫

  東京電機大学理工学部情報科学科(日本大学文理学部数学科)

• 鳥居 宏次

  阪大

• 石川 裕

  電総研

• 戸村 哲

  電子技術総合研究所情報アーキテクチャ部

• 石川 裕

  電子技術総合研究所:(現)新情報処理開発機構

• 外山 芳人

  日本電信電話公社武蔵野電気通信研究所基礎研究部第一研究室

• 鳥居 宏次

  電子技術総合研究所ソフトウェア部

• 二木 厚吉

  電総研・ソフトウェア部

• 石川 裕

  電子技術総合研究所

• 久保田 美明

  東海大学電子計算センター

• 細井 潔

  東京電機大学

• 守屋 悦朗

  東京女子大学

• 大蒔 和仁

  電総研

• 外山 芳人

  東北大学

• 杉田 公生

  東海大学理学部

もっと見る 閉じる

著作論文

• 実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)
• 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
• プログラミング方法論の展望
• 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)
• 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
• プロセス代数モデルに基づく並行オブジェクト指向言語の意味定義
• プログラム図式を用いたプログラム開発教育環境
• 形式仕様記述言語LOTOSの試用経験

スポンサーリンク