研究者
J-GLOBAL ID:200901053218480246   更新日: 2020年09月01日

谷口 健一

タニグチ ケンイチ | Taniguchi Kenichi
所属機関・部署:
職名: 教授
ホームページURL (1件): http://www-tani.ics.es.osaka-u.ac.jp/~taniguchi/
研究分野 (1件): 情報学基礎論
研究キーワード (2件): Software Science ,  ソフトウェア科学
競争的資金等の研究課題 (8件):
  • ソフトウェア/ハードウェアの設計検証支援システム
  • 分散協調システム
  • 代数的手法を用いたソフトウェア設計支援システム
  • ソフトウェアとハードウェアの設計と検証の形式的手法
  • Verification Support System for Software/Hardware Design
全件表示
MISC (127件):
もっと見る
書籍 (2件):
  • 形式言語理論(共著)
    電子情報通信学会 1988
  • Theory of Formal Languages
    The Institute of Electronics, Information and Communication Engineers 1988
Works (4件):
  • ハードウェアの設計検証
    1999 -
  • Design Verification of Hardware
    1999 -
  • 並行分散システムの実装
    1998 -
  • Implementation of Distributed Systems
    1998 -
学歴 (4件):
  • - 1970 大阪大学 物理系
  • - 1970 大阪大学
  • - 1965 大阪大学 電子工学
  • - 1965 大阪大学
学位 (1件):
  • 工学博士 (大阪大学)
経歴 (6件):
  • 1976 - 1986 大阪大学 助教授
  • 1976 - 1986 Osaka Univ., Associate Professor
  • 1986 - - 大阪大学 教授
  • 1986 - - Osaka Univ., Professor
  • 1970 - 1976 大阪大学(基礎工学部) 助手
全件表示
受賞 (1件):
  • 1998 - 電子情報通信学会「情報ネットワーク研究賞」
所属学会 (5件):
米国計算機学会(ACM) ,  米国電気電子学会(IEEE) ,  日本ソフトウェア科学会 ,  情報処理学会 ,  電子情報通信学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る