Vol.1 No.3 2008

61/81

論説:シンセシオロジー発刊について(大崎ほか)−227 Synthesiology Vol.1 No.3(2008)執筆者略歴大崎 人士(おおさき ひとし)2000年旧電子技術総合研究所入所。独法化のため、 2001年より産総研職員。計算論の研究に従事。現在は、ソフトウェア開発現場への自動検証技術の移転に取り組む。さきがけ研究「機能と構成」領域 (JST)では研究員 (兼任)として参加し、自動検証技術とツリーオートマトンの研究を行う (2002.11–2006.3)。招聘研究員としては、イリノイ大学 (2004.1–3)、リール大学(2002.6, 2005.5–6)、エコール・ノルマル・シュペリエール・カショーン校 (2004.8–9, 2006.8–9)などでの研究経歴がある。本稿執筆当時は、在外研究のため客員研究員としてイリノイ大学に滞在 (2007.6–2008.6)。文部科学大臣表彰若手科学者賞受賞 (2006.4)。佐藤 裕二(さとう ゆうじ)1981年東京大学工学部物理工学科卒業。同年株式会社日立製作所入所。同中央研究所を経て、 2000年 4月法政大学情報科学部助教授。 2001年 4月より同大学教授。工学博士。可変論理構造 LSIの設計、ニューラルネットワークのハードウエア化、進化的計算を用いた機械学習などの研究に従事。情報処理学会、 IEEE Computer Society、IEEE Computational Intelligence Society、ACM SIGEVO各会員。話題提供者稲葉 和久(いなば かずひさ) Department of Industrial and Enterprise Systems Engineering University of Illinois at Urbana-Champaign (イリノイ大学アーバナシャンペーン校インダストリアル・エンタープライズ・システムズエンジニアリング学科) 2001年東京大学大学院工学系研究科社会基盤工学専攻 (修士)修了。同年ヒューレット・パッカード・ソリューションデリバリ株式会社入社。2003年日本ヒューレット・パッカード株式会社に移籍。2007年筑波大学大学院ビジネス科学研究科経営システム科学専攻(社会人大学院修士)修了。日本ヒューレット・パッカード株式会社退社後、 2007年よりイリノイ大学インダストリアル・エンタープライズ・システムズエンジニアリング学科博士課程。現在、ソーシャルネットワーク/ソーシャルキャピタルなどにもとづく外部イベントに対する組織対応の研究を進めている。大門 優(だいもん ゆう) Department of Computer Science, University of Illinois at Urbana-Champaign (イリノイ大学アーバナシャンペーン校コンピュータサイエンス学科) 2006年よりイリノイ大学ポスドク研究員。ロケットの燃焼室、ノズルにおける燃焼など、流体解析の研究に従事。現在は、固体燃料燃焼の不均一性を考慮した固体ロケットモータ内における音響現象の解析を行う。これまでに、宇宙航空研究開発機構 (JAXA)の宇宙航空プロジェクト研究員として、流体 /壁面後退の連成解析を用いた固体ロケットモータノズル壁アブレーション解析の研究 (2005.4–2007.1)や、日本学術振興会特別研究員 (DC2・慶應義塾大学)として、デトネーション、超音速燃焼の解析の研究 (2004.4–2005.3)に従事した。古川 泰隆(ふるかわ やすたか) Department of Computer Science, University of Illinois at Urbana-Champaign (イリノイ大学アーバナシャンペーン校コンピュータサイエンス学科) 2001年東京大学理学部情報科学科卒業。同年東京大学情報理工参考文献吉川弘之:第2種基礎研究の原著論文誌, Synthesiology, 1(1), 1–6 (2008). 木下佳樹, 高井利憲, 大崎人士:フォーマルメソッドとフィールドワーク, 特集「フォーマルメソッドの新潮流」,情報処理, 49(5), 499-505 (2008). 産業技術総合研究所イノベーション推進室:イノベーションを実現する研究方法論「本格研究」, 公開資料 (2007). http://unit.aist.go.jp/ripo/ci/strategy/full_research/ 日立製作所:日立評論, 2008年 2月号 (2008). http://www.hitachihyoron.com/2008/02/ 三菱電機: 三菱電機技報. http://www.mitsubishielectric.co.jp/corporate/giho/ 日本電気: NEC技報. http://www.nec.co.jp/techrep/ja/journal/ 東芝グループ: 東芝レビュー. http://www.toshiba.co.jp/tech/review/ NTT DoCoMo: NTT DoCoMoテクニカル・ジャーナル. http://www.nttdocomo.co.jp/corporate/technology/rd/technical_journal/ トヨタ自動車: トヨタテクニカルレビュー. http://www.toyota.co.jp/jp/tech/for_engineer/technical_review/ John von Neumann: First draft of a report on the EDVAC, Moore school of electric engineering, University of Pennsylvania, W-670-ORD-4926 (1945).Georges Ifrah: The universal history of computing --- From the abacus to the quantum computer, John Wiley & Sons (2001).Norman Macrae: John Von Neumann: The scientific genius who pioneered the modern computer, game theory, Nuclear Deterrence, and Much More, AMS (1999).Hilary Putnam: The collapse of the fact/value dichotomy and other essays, Harvard University Press (2002).[1][2][3][4][5][6][7][8][9][10][11][12][13]7 むすび CSセミナーでの討論会を通じて、Synthesiology発刊が意味するジャーナルの観念的な目的に触れる機会が得られた。また、検討すべき問題や将来に向けての課題のいくつかも明らかになった。容易に解決可能な問題ではない。しかし、これらの問題を、今後どのように解決していくかが、新ジャーナルSynthesiologyの成功の鍵を握るのは確かである。謝辞 イリノイ大学計算機分野の日本人研究者、特に、CSセミナー参加者の皆さんには、多くの助言や励ましを頂きました。José Meseguerイリノイ大学教授からは、事実(fact)と価値(value)の概念、およびその周辺事情について、助言を頂きました。最後に、イリノイ大学での滞在および在外研究に協力や支援をしてくださった関係者の方々に、深く感謝します。(受付日 2008.5.23)(58) −

※このページを正しく表示するにはFlashPlayer9以上が必要です