金藤 栄孝 | 株式会社日立製作所システム開発研究所

スポンサーリンク

概要

• 金藤 栄孝の詳細を見る
• 同名の論文著者
• 株式会社日立製作所システム開発研究所の論文著者

関連著者

• 金藤 栄孝

  株式会社日立製作所システム開発研究所

• 金藤 栄孝

  (株)日立製作所システム開発研究所

• 二木 厚吉

  北陸先端科学技術大学院大学情報科学研究科

• 片岡 雅憲

  日立

• 片岡 雅憲

  (株)日立製作所ソフトウエア工場言語応用プログラム部

• 大蒔 和仁

  電子技術総合研究所

• 大槻 繁

  日立製作所技術研修所

• 宮本 和靖

  (株)日立製作所ソフトウェア工場

• 山野 紘一

  (株)日立製作所システム開発研究所

• 玉井 哲雄

  東京大学大学院総合文化研究科広域システム専攻

• 玉井 哲雄

  東大

• 大蒔 和仁

  電総研情報ベース研究室

• 大槻 繁

  (株)エクイティ・リサーチ

• 金藤 栄孝

  日立

• 大槻 繁

  日立

• 大槻 繁

  株式会社一(いち)

• 大蒔 和仁

  電総研

• 大蒔 和仁

  産業技術総合研究所

• 大蒔 和仁

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

• 宮本 和靖

  (株)日立製作所

• 山野 紘一

  大阪経済大学

• 山野 紘一

  大阪経済大学(元)

もっと見る 閉じる

著作論文

• 標準構造に基づく系統的ソフトウェア設計法 (プログラム設計技法)
• 精密ソフトウェア工学のすすめ
• 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論)
• 多重ループからの脱出でのgoto文の是非 : Hoare理論の観点から(プログラミング方法論とパラダイム)
• 不等式を持つデータ型の性質
• 86-38 型理論に関する3つのアプローチ

スポンサーリンク