玉木 久夫 | 茨城大

スポンサーリンク

概要

• 玉木 久夫の詳細を見る
• 同名の論文著者
• 茨城大の論文著者

関連著者

• 玉木 久夫

  茨城大

• 玉木 久夫

  茨城大学工学部情報工学科

• 佐藤 泰介

  電子技術総合研究所

• 大森 健児

  法政大学大学院情報科学研究科

• 大山口 通夫

  三重大学工学研究科

• 徳田 雄洋

  山梨大

• 堂下 修司

  京大

• 徳田 雄洋

  ICOT

• 上田 和紀

  早稲田大学理工学部コンピュータ・ネットワーク工学科

• 山口 高平

  阪大

• 平賀 譲

  図書館情報大学

• 松本 吉弘

  武蔵工業大学

• 大槻 説乎

  広島市立大学情報科学部

• 古川 康一

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

• 古川 康一

  Icot

• 古川 康一

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

• 牧之内 顕文

  富士通研究所

• 紫合 治

  日電

• 二村 良彦

  Futamura Institute, Inc.

• 上田 和紀

  ICOT

• 大槻 説乎

  九州工大

• 有澤 誠

  山梨大

• 松本 吉弘

  東芝

• 稲垣 康善

  名大

• 茨木 俊秀

  京大

• 黒川 利明

  日本IBM

• 房岡 璋

  三菱

• 安村 通晃

  日立中研

• 二村 良彦

  日立基礎研究

• 有澤 誠

  山梨大学

• 堂下 修司

  京都大学工学部情報工学教室

• 稲垣 康善

  名古屋大学

• 茨木 俊秀

  京大 大学院

• 有澤 誠

  慶應義塾大学環境情報学部

• 大森 健児

  法政大学 工学部

• 孟 繁〓

  中国天津大学数学系

• 二村 良彦

  Futamura Institute Inc.

• 大山口 通夫

  三重大

• 牧之内 顕文

  富士通

• 大槻 説乎

  九州工業大学

もっと見る 閉じる

著作論文

• ソフトウェア科学会第4回大会
• 最終順列が常に互換となる互換法順列生成
• 第一階コンパイラ (プログラム合成/変換)
• 論理プログラムの等価変換とプログラム合成問題への応用
• ソフトウェア基礎論
• Prolog の知的プログラミング環境 (プログラミング言語 Prolog)
• PROLOG/F--述語の関数表記をとりいれた述語論理型プログラミング言語

スポンサーリンク