Vol.1 No.3 2009

63/69

Article : Launch of AIST journal Synthesiology (H. Ohsaki et al.)−214 Synthesiology - English edition Vol.1 No.3 (2009) References[1][2][3][4][5][6][7][8][9][10][11][12]H. Yoshikawa: A journal for Type 2 Basic Research, Synthesiology english edition, 1(1), 1-6 (2008). K. Kinoshita, T. Takai, and H. Ohsaki: Formal method and field work in “New Trend of Formal Method,” Joho Shori, 49(5), 499-505 (2008) (in Japanese).AIST Research and Innovation Promotion Office: Full Research, a research methodology to realize innovation, Disclosed Material (2007) (in Japanese). http://unit.aist.go.jp/ripo/ci/strategy/full_research/ Hitachi Ltd.: Hitachi Hyoron February 2008 (2008) (in Japanese). http://www.hitachihyoron.com/2008/02/ Mitsubishi Electric Co. Ltd.: Mitsubishi Electric Technical Report (in Japanese). http://www.mitsubishielectric.co.jp/corporate/giho/ NEC Corporation: NEC Technical Report (in Japanese). http://www.nec.co.jp/techrep/ja/journal/ Toshiba Corporation: Toshiba Review (in Japanese). http://www.toshiba.co.jp/tech/review/NTT Docomo, Inc.: NTT DoCoMo Technical Journal (in Japanese). http://www.nttdocomo.co.jp/corporate/technology/rd/technical_journal/ Toyota Motor Corporation: Toyota Technical Review (in Japanese). 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).Received original manuscript May 23, 2008 AuthorsHitoshi OhsakiJoined the Electrotechnical Laboratory in 2000. Became member of the National Institute of Advanced Industrial Science and Technology in 2001. Worked on computation theory research. Currently working on transfer of automatic verification technology to actual software development. Participated as researcher of JST-PRESTO “Information and Systems,” and worked on research of automatic verification (60)−AcknowledgementsWe are grateful for the advice and encouragements from Japanese researchers whom we met at the University of Illinois at Urbana-Champaign, especially people from the participants of CS seminar. We also thank professor José Meseguer of UIUC for his advice on the concept of “fact and value” and the discussion surrounding them. Finally, we thank the people who cooperated and supported our overseas researches at UIUC.technology and tree automata (Nov 2002 ~ Mar 2006). Worked as invited researcher at University of Illinois (Jan~Mar 2004), Université des Sciences et Technologies de Lille (Jun 2002, May~Jun 2005), École Normale Supérieure de Cachan (Aug-Sep 2004, Aug-Sep 2006), and others. Was visiting the University of Illinois as visiting researcher when writing this paper (Jun 2007-Jun 2008). Received Young Scientist Award of the Minister of Education, Culture, Sports, Science and Technology in April 2006.Yuji SatoGraduated from Department of Applied Physics, Faculty of Engineering, The University of Tokyo in 1981. Joined Hitachi Ltd. in 1981. Worked at Hitachi Central Research Laboratory. Became Associate Professor, Faculty of Computer and Information Sciences, Hosei University in April 2000. Full Professor in April 2001. Received Ph.D. from School of Engineering, The University of Tokyo in 1997. Worked on design of research reconfigurable logic LSI, hardware replication of neural network, and machine learning using evolutionary computation. Was visiting the University of Illinois as visiting researcher when writing this paper (Sep 2007-Aug 2008). Listed in Marquis Who's Who in the World. Member of Information Processing Society of Japan, IEEE Computer Society, IEEE Computational Intelligence Society, ACM SIGEVO. Topic ProvidersKazuhisa InabaDepartment of Industrial and Enterprise Systems Engineering, University of Illinois at Urbana-Champaign. Received master’s degree from Department of Civil Engineering, School of Engineering, The University of Tokyo in 2001. Joined Hewlett-Packard Solution Delivery K.K. in 2001. Transferred to Hewlett-Packard Japan, Ltd. in 2003. Received masters in system management from Graduate School of Business Sciences, University of Tsukuba in 2007. After leaving Hewlett-Packard Japan, started doctorate program in Industrial and Enterprise System Engineering, University of Illinois in 2007. Currently studying organizational response against exterior event based on social network and social capital.Yu DaimonDepartment of Computer Science, University of Illinois at Urbana-Champaign.Post-doctoral researcher at UIUC from 2006. Worked on fluid analysis of combustion in combustion chamber and nozzle of rockets. Currently working on analysis of acoustic phenomenon in solid rocket motor with consideration of heterogeneity of solid fuel combustion. Had worked on analysis of solid rocket motor nozzle wall using fluid-wall interaction analysis as researcher for aerospace project of Japan Aerospace Exploration Agency (JAXA) (Apr 2005-Jan 2007), as well as analysis of detonation and supersonic combustion as special researcher (DC2 Keio University) of the Japan Society for the Promotion of Science (Apr 2004-Mar 2005).Yasutaka FurukawaDepartment of Computer Science, University of Illinois at Urbana-Champaign. Graduated from Department of Information Sciences, Faculty of Science, The University of

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