著者典拠情報

著者標目形：
萩谷, 昌己(1957-)||ハギヤ, マサミ
属性：
Personal
場所：
東京
日付：
1957
から見よ参照形：
Hagiya, Masami, 1957-
注記：
東京大学理学部助教授
東京大学大学院情報理工学系研究科教授(2002.3現在)
専攻:ソフトウェア科学
著者典拠ID：
DA00068762


1.

図書
図書
1. 化学系・生物系の計算モデル
萩谷昌己, 山本光晴著
出版情報: 東京 : 共立出版, 2009.9
シリーズ名: アルゴリズム・サイエンスシリーズ / 杉原厚吉 [ほか] 編 ; 16 ; 適用事例編
所蔵情報: 図書館
2.

図書
図書
2. 基礎情報科学
川合慧, 萩谷昌己著
出版情報: 東京 : 放送大学教育振興会, 2009.3
シリーズ名: 放送大学大学院教材 ; 8960518-1-0911 . 自然環境科学プログラム||シゼン カンキョウ カガク プログラム
所蔵情報: 図書館
3.

図書
図書
3. DNAコンピュータ
萩谷昌己, 横森貴共編
出版情報: 東京 : 培風館, 2001.12
所蔵情報: 図書館, 研究室
4.

図書
図書
4. 遺伝的アルゴリズム ([1] - 4)
北野宏明編
出版情報: 東京 : 産業図書, 1993.6-2000.8
所蔵情報: 図書館, 研究室
5.

図書
図書
5. ソフトウェア科学のための論理学
萩谷昌己 [著]
出版情報: 東京 : 岩波書店, 1994.1
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11
所蔵情報: 図書館
6.

図書
図書
6. Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings (: gw ; : us)
Masami Hagiya, John C. Mitchell, eds
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 789
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
7.

図書
図書
7. Logic, language, and computation : festschrift in honor of Satoru Takasu (: gw ; : us)
Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 792
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
8.

図書
図書
8. 論理と計算
萩谷昌己著
出版情報: 東京 : 岩波書店, 1993.6
シリーズ名: 岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎||キソ ; 11
所蔵情報: 図書館, 研究室
9.

図書
図書
9. Common Lisp入門
湯浅太一, 萩谷昌己著
出版情報: 東京 : 岩波書店, 1986.7
シリーズ名: 岩波コンピュータサイエンス
所蔵情報: 図書館