後藤 滋樹 | Nttソフトウェア研究所広域コンピューティング研究部

スポンサーリンク

概要

• 同名の論文著者
• Nttソフトウェア研究所広域コンピューティング研究部の論文著者

関連著者

• 後藤 滋樹

  Nttソフトウェア研究所広域コンピューティング研究部

• 後藤 滋樹

  日本電信電話公社武蔵野電気通信研究所

• 後藤 滋樹

  電電公社・武蔵野通研

• 村上 健一郎

  Nttソフトウェア研究所

• 村上 健一郎

  Nttソフトウェア研究所広域コンピューティング研究部

• 古川 康一

  (財)新世代コンピュータ技術開発機構

• 古川 康一

  新世代コンピュータ技術開発機構

• 後藤 滋樹

  NTTソフトウェア研究所

著作論文

• 論理型計算モデル (非手続き型プログラミングのための計算モデル)
• ギガビットネットワークの壁 (情報処理最前線)
• Prolog の言語機能詳説 (プログラミング言語 Prolog)
• 論理と論理プログラミング
• プログラム・シンセシス
• 81-04 演繹的なプログラム合成法
• 81-03 PROLOG についての考察
• 76-12 強い意味でのプログラムの検証について
• 75-28 ループを含むプログラムの証明について
• 74-28 仮想化可能な第三世代計算機

スポンサーリンク