Vol.3 No.1 2010

77/110

Research paper : A field-scientific approach to Clinico-Informatics (Y. Kinoshita et al.)−74−Synthesiology - English edition Vol.3 No.1 (2010) agreement on what the problem in the field is. It may also be a case, however, where stakeholders do not come to such an agreement because some stakeholders do not have a clear understanding of the essence of the problem the field faces. Even in such a case, the research team involved may be able to capture, because of their academic background, the essential problem there; that many other issues would automatically be solved if that problem is solved. The role of a research team here would be to detect such an essential problem, explain it to the stakeholders and propose a solution to it. Exploration of the situation and observation with open eyes with as little bias as possible would make it possible for the research team to play such a role.Note 6) This is a point indicated by the main reviewer. The authors initially objected to the comment, but after thinking through, we changed our position and came to this conclusion.Note 7) This does not necessarily mean that we are stating that these disciplines engage in subjective discussions.Note 8) As a result, some of the authors’ colleagues suffered from lack of volume in their publication lists. We emphasize that there are people even in academia who understand the importance and difficulty of fieldwork and that being seriously involved in fieldwork inevitably implies a small number of academic publications. Having said this, we must observe that there are still many who do not recognize this causality and tend to accuse scientists in fieldwork of lack of academic publications.Note 9) Consider a researcher in clinical medicine who is not trained in basic science such as molecular biology and he/she tries to connect a result of a clinical study to basic science. It is widely known that he/she may go round and round for years over the same topic because he/she does not have the overall view of the whole picture, and it is often attributed to lack of his/her ability in basic science. Such a phenomenon is called PAIDS (paralyzed academic investigator’s disease)[19].Note 10) It seems the KJ method could be used effectively as a method for system analysis (requirement analysis, safety analysis, etc.). Conceptual tools such as Goal Structuring Notation (GSN) and Claim, Argument and Evidence (CAE), based on the operation of relating different objects by arrows, are recently used widely for safety cases, but the KJ method, based on the operation of putting things together by circles, seems to work from different perspectives. This is, however, an open issue to be investigated.J. Kawakita: Hassoho (Abduction), Chuokoronsha, Tokyo (1967) (in Japanese).J. Kawakita: Zoku Hassoho (More Abduction), Chuokoronsha, Tokyo (1970) (in Japanese).J. Kawakita: KJ Ho – Konton Wo Shite Katarashimeru (KJ Method – Let Chaos Narrate), Chuokoronsha, Tokyo (1986) (in Japanese). [Included in Kawakita Jiro Chosakushu (Collected Works of Kawakita Jiro), 5, Chuokoronsha (1996)].Kyoto University Study Group for Field Informatics ed.: Firudo Johogaku Nyumon (Introduction to Field Informatics), Kyoritsu Shuppan, Tokyo (2009) (in Japanese).Y. Kinoshita, T. Takai and H. Ohsaki: Fieldwork in the study of formal methods, Journal of Information Processing Society of Japan, 49 (5), 499-505 (2008) (in Japanese).T. Takai: Full Research in system verification technology – For the practical application of mathematical verification technology, AIST TODAY, 8 (10), (2008) (in Japanese). http://www.aist.go.jp/aist_j/aistinfo/aist_today/vol08_10/special/p16.htmlH. Yoshikawa: Atarashii Kagakusha No Yakuwari (Role of the New Scientist), Iwanami Shoten, Tokyo (2002) (in Japanese).H. Yoshikawa and K. Naito: Dainishu Kiso Kenkyu – Jitsuyoka Ni Tsunagaru Kenkyu Kaihatsu No Atarashii Kangaekata (Type 2 Basic Research – New Thinking on the Research and Development for Practical Application), Nikkei Business Publications, Tokyo (2003) (in Japanese).H. Yoshikawa: Scientific research journal for the type 2 basic research, Synthesiology, 1 (1), 1-6 (2008) (in Japanese).H. Nakashima: Discipline of constructive research fields – Toward formalization of Synthesiology, Synthesiology, 1 (4), 305-313 (2008) (in Japanese).B. G. Glaser and A. L. Strauss: Discovery of Grounded Theory: Strategies for Qualitative Research, Aldine Publishing, Chicago (1967).Research Center for Verification and Semantics: Yokka De Manabu Moderu Kensa Shokyuhen (Introductory Model Checking in Four Days), NTS, Tokyo (2006) (in Japanese). [Scheduled for reprint from NANO OPT Media]T. Takai, T. Furuhashi, H. Ozaki and H. Ohsaki: Case Study of Verification by Model Checking Using the Environmental Driver, 4th Symposium on System Verification, Japan Society for Software Science and Technology, Nagoya (2007) (in Japanese).E. H. Choi, T. Kawamoto and H. Watanabe: Model checking for screen transition specification, Computer Software, 22 (3), 146-153 (2005) (in Japanese).N. E. Fenton and S. L. Pfleeger: Software Metrics - A Rigorous and Practical Approach, PWS Publishing, Boston (1997).K. Inoue, K. Matsumoto, S. Tsuruho and H. Torii: An approach to empirical software engineering environment, Journal of Information Processing Society of Japan, 45 (7), 722-728 (2004) (in Japanese).K. Araki: Formal methods: past, present and future - Toward practical applications, Journal of Information Processing Society of Japan, 49 (5), 493-498 (2008) (in Japanese).A. Avizienis, J. C. Laprie, B. Randell, and C. Landwehr: Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, 1 (1), 11-33 (2004).H. Imura: Rinsho Kenkyu Inobeshon (Innovations in Clinical Research), Nakayama Shoten, Tokyo (2006) (in Japanese).[1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19]References

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