※苗字と名前の間にスペースをあけ、入力してください

Kennsei Tsuchida

Faculty
Department of Information Sciences and Arts
Asian Cultures Research Institute
Research Institute of Industrial Technology
Course of Information Sciences and Arts
Institute of Social Sciences
PositionProfessor
Mail
HomepageURL
Birthday
Last Updated :2019/05/17

Research Activities

Research Areas

  • Informatics, Theory of informatics
  • Computational science, Computational science
  • Informatics, Soft computing
  • Informatics, Software

Published Papers

Misc

  • こころの可視化, 加藤千恵子, 青木滉一郎, 尾上洋介, 上辻智也, 平原裕行, 土田賢省, 渡邉好夫, 田中覚, 宮地英生, 鎌田穣, 江原康生, 小山田耕二, 可視化情報学会誌, 36,   2016 10 01
  • 労災認定を支援する心理的負荷強度判定システム, 吉住寿洋, 加藤千恵子, 田中建一, 土田賢省, 情報処理学会研究報告(Web), 2015, (IS-131) VOL.2015-IS-131,NO.2 (WEB ONLY) - 5,   2015 02 27
  • リアルタイム風景シミュレーションのファジィモデル, 吉住寿洋, 塩野康徳, 住田智雄, 滑川光裕, 土田賢省, バイオメディカル・ファジィ・システム学会年次大会講演論文集, 28th,   2015 11 21
  • Construction of Digital Archive of the Uchida-Kraepelin Psychodiagnostic Test Data and Realization of Similar Data Retrieval and Reference Functions Entry, 加藤 千恵子, 土田 賢省, 渋谷 英雄, 塩野 康徳, 杉本 富利, 工業技術 : 東洋大学工業技術研究所報告, (37) 32 - 35,   2015
  • A Methodology for Developing Open-source Software by Small Groups, GOTO TAKAAKI, NISHINO TETSURO, TSUCHIDA KENSEI, 電子情報通信学会技術研究報告, 114, (66(KBSE2014 1-11)) 53 - 58,   2014 05 22 , In software development, a waterfall model is used, especially for large-scale software systems. For smaller software development, agile software development, such as extreme programming or scrum, is used. Traditional software development methodologies mainly target development with customers in mind, and therefore software methodologies that generate new ideas are often not well considered. In this paper, we propose a new software development methodology that targets developing innovative software by using Artificial Intelligence (AI), idea creation, and value engineering. The new method supports the efficient and creative Open Source Software (OSS) development by small groups.
  • 3D螺旋表示の心理データへの応用, ZHUANG Heliang, 加藤千恵子, 土田賢省, 可視化情報学会誌, 34, (133) 52-57,51(1)-51(2) - 7,   2014 04 01 , The purpose of this study is to visualize large and complex psychological data to render it more easily understood. We have developed, and have been enhancing a web counseling system. During development, counselors need to grasp the user's situation and formulate psychological data. However, the data are highly varied, and it is very difficult to compare among them, as well as to extract features from them. To cope with these problems, it is useful and helpful to visualize data. Thus, we propose visualizing the psychological data to 3D graph. The 3D display is implemented in a spiral shape using the Processing project. In this study, our 3D spiral display was used to visualize users' data from the web counseling system, and the data from the personality test (GHQ28, S-H Resilience and Uchida-Kraepelin Test) .
  • A-19-12 An Application of 3D Spiral Visualization to the Uchida-Kraepelin Psychodiagnostic Test, Zhuang Heliang, Tsuchida Kensei, Kato Chieko, Proceedings of the IEICE General Conference, 2014,   2014 03 04
  • 3D螺旋表示の内田クレペリン精神検査への応用, ZHUANG Heliang, 土田賢省, 加藤千恵子, 電子情報通信学会大会講演論文集(CD-ROM), 2014,   2014 03 04
  • Method of calculating importance for source code module (New Trends in Theoretical Computer Science), Goto Takaaki, Yamada Setsuo, Nishino Tetsuro, Tsuchida Kensei, RIMS Kokyuroku, 1849,   2013 08
  • A Case Study of Calculation of Source Code Module Importance, GOTO Takaaki, YAMADA Setsuo, NISHINO Tetsuro, TSUCHIDA Kensei, 情報処理学会研究報告(Web), 2013, (MPS-94) WEB ONLY VOL.2013-MPS-94,NO.6 - 4,   2013 07 15 , Open Source Software (OSS) has been widely used in software development. However, OSS often lacks adequate documentation and as a result developers cannot obtain enough information to develop software with OSS. The popularization of OSS, or free software, has enabled developers to more easily obtain source codes to improve their coding skills. Developers read source codes in order to understand the architecture and behavior of OSS. However, it is difficult for developers to find the information they need due to the lack of documentation . In this paper, we propose a method for calculating the importance of source code modules based on the dependency of the source codes. We target Java language, and we calculate the degrees from class dependency.
  • A-14-7 An Application of Quantitative Text Analysis in SCT Interpretation, 村岸 遼一, 加藤 千恵子, 渋谷 英雄, 土田 賢省, Proceedings of the IEICE General Conference, 2013,   2013 03 05
  • Report on the Project Studies : Project Study of RIIT : Quality Evaluation of Human Interface in Mental Health Services, Chieko KATO, Futoshi SUGIMOTO, Kensei TSUCHIDA, Takehide GOTO, 工業技術 : 東洋大学工業技術研究所報告, (35) 27 - 30,   2013
  • SCT解釈におけるテキスト計量分析の応用, 村岸遼一, 加藤千恵子, 渋谷英雄, 土田賢省, 電子情報通信学会大会講演論文集, 2013,   2013 03 05
  • メンタルヘルスサービスにおけるヒューマンインタフェースの質評価手法, 加藤千恵子, 杉本富利, 土田賢省, 後藤武秀, 東洋大学工業技術研究所工業技術, (35) 27 - 30,   2013 02 20
  • Automatic Generation of Diagram Explanation based on an Attribute Graph Grammar, GOTO Takaaki, NISHINO Tetsuro, TSUCHIDA Kensei, 情報処理学会研究報告(CD-ROM), 2012,   2012 08 15
  • Automatic Generation of Diagram Explanation based on an Attribute Graph Grammar, Takaaki Goto, Tetsuro Nishino, Kensei Tsuchida, 研究報告数理モデル化と問題解決(MPS), 2012, (9) 1 - 6,   2012 07 09 , Unified Modeling Language (UML) has already been used in the analysis, design, and implementation of many systems. Open Source Software (OSS) is often used in software development. However, it is often the case that OSS does not contain adequate documents, so the generation of software documents is important. Documents with diagrams are especially important to understand software, so it is important to generate documents with diagrams. In order to process large-scale diagrams, or many source codes automatically, formal and declarative representation is needed. In this paper, we propose automatic generation of documentation based on an attribute graph grammar.Unified Modeling Language (UML) has already been used in the analysis, design, and implementation of many systems. Open Source Software (OSS) is often used in software development. However, it is often the case that OSS does not contain adequate documents, so the generation of software documents is important. Documents with diagrams are especially important to understand software, so it is important to generate documents with diagrams. In order to process large-scale diagrams, or many source codes automatically, formal and declarative representation is needed. In this paper, we propose automatic generation of documentation based on an attribute graph grammar.
  • Consideration of the IT-based use the Uchida-Kraepelin in Test to Structure Knowledge, TSUCHIDA KENSEI, KATO CHIEKO, UCHIDA MOMOTO, 内田クレペリン精神検査研究, 1,   2012 03 18 , 内田クレペリン検査は、様々な分野で活用され、産業界やスポーツ界での実績とノウハウは積み重ねられており、我が国の後世に伝承すべき貴重な財産と言える。しかし、これまでに多くの先人が積み重ねてきた貴重なデータと知見は、世代交代により、各分野の中で埋没し、忘れ去られてしまうのではないかとの危惧が一部にある。知識情報化社会と言われ、情報通信技術が急速に発展しているこの時代に、上記のような知見を最新のIT(Information Technology)を用いた手法で収集・集積し、有効活用できるようにして、持続的に拡充しながら後世に伝えていくことが望まれている。このような事情を研究の背景に、内田クレペリン検査が現在に至るまで長年使用されてきた中で蓄積された膨大な実績データや研究成果に対し、本稿では、効率的に収集・集積し、さらに蓄積された情報を有効に活用できるようにすることを大きな目標として、ITを用いた知識の構造化の構想について考察する。そして、具体的に次の6つの課題を中心に論じる。(1)内田クレペリン検査データの電子アーカイブ化のためのデータ形式の定義。(2)'(1)'の結果に基づく、紙ベースのデータからのデータ自動抽出方法の考案。(3)内田クレペリン曲線の類型判定の自動化(自動分類化)。(4)内田クレペリン曲線の類似度の定義および類似曲線の自動検索方法。(5)自由記述方式の所見データの類似度の定義および類似所見データの自動検索方法。(6)検査結果と合わせた教育指導ノウハウの収集、知識構造化、活用方法、評価方法。(著者抄録)
  • A-19-12 Analyzing Needs Connected with Web Counseling Design Color Schemes, Kato Chieko, Kikuchi Taishi, Sugimoto Futoshi, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2012,   2012 03 06
  • A-19-11 A Trial of Analyzing for SCT Texts Using Computer, Shibutani Hideo, Kato Chieko, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2012,   2012 03 06
  • 箱庭療法の制作過程に関する行動分析, 吉沼智, 加藤千恵子, 渋谷英雄, 杉本富利, 土田賢省, 電子情報通信学会大会講演論文集, 2012,   2012 03 06
  • A-19-10 Connections between the Consciousness of Self-preservation and Psychological Characteristics : A study from Kesennuma City, Ohkawa Yamato, Kato Chieko, Kikuchi Taishi, Shibutani Hideo, Tsuchida Kensei, Matsushita Yoshio, Proceedings of the IEICE General Conference, 2012,   2012 03 06
  • Webカウンセリングのデザイン配色に関するニーズ分析, 加藤千恵子, 菊地泰史, 杉本富利, 土田賢省, 電子情報通信学会大会講演論文集, 2012,   2012 03 06
  • A-19-9 Analysis of Behavior Patterns Connected with Production in Box Garden Therapy, Yoshinuma Satoshi, Kato Chieko, Shibutani Hideo, Sugimoto Futoshi, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2012,   2012 03 06
  • 防災意識・行動と心理的特性の関連―気仙沼市における調査より―, 大川弥真人, 加藤千恵子, 菊地泰史, 渋谷英雄, 土田賢省, 松下吉男, 電子情報通信学会大会講演論文集, 2012,   2012 03 06
  • コンピュータを用いたSCTテキスト分析の試み, 渋谷英雄, 加藤千恵子, 土田賢省, 電子情報通信学会大会講演論文集, 2012,   2012 03 06
  • 内田クレペリン精神検査における今後の発展に際しての方向性を探る, 土田 賢省, 加藤 千恵子, 内田 桃人, 内田クレペリン精神検査研究, 1,   2012 03
  • Report on the Project Studies : Project Study of RIIT : Cross-Cultural Comparison for Drawing Tests, Chieko KATO, Takehide GOTO, Kennsei TSUCHIDA, 工業技術 : 東洋大学工業技術研究所報告, 0, (34) 38 - 44,   2012
  • A-018 Whole Japan and South Korea Area Ridge Lined 3D Landform Maps Using a Steepest Ascent Method, Koka Shinji, Anada Koichi, Sugita Kimio, Tsuchida Kensei, Nomaki Kenshi, Yaku Takeo, 情報科学技術フォーラム講演論文集, 10, (1) 187 - 188,   2011 09 07
  • 最急上昇モデルによる日本・韓国全域尾根つき3次元地形図の作成, 高加晋司, 穴田浩一, 杉田公生, 土田賢省, 野牧賢志, 夜久竹夫, 情報科学技術フォーラム講演論文集, 10th,   2011 08 22
  • An Attribute Graph Grammar for UML Package Diagrams and its Applications, Takaaki Goto, Tetsuro Nishino, Kensei Tsuchida, IPSJ SIG Notes, 2011, (1) 1 - 6,   2011 07 11 , Graphical representations are often used in software design and development because of their expressiveness. Unified Modeling Language (UML) for modeling in software development was proposed recently, and in 2005 it was standardized as the ISO/IEC 19501 standard. In order to automate processing of these graphical representations using computers, a syntax for program diagrams must first be defined. We propose a framework for specifying these diagrams using a graph grammar, and for processing these diagrams automatically.
  • Comprehension of Works on Kafka on the Shore by Fuzzy Cluster Analysis, KATO Chieko, MAESHIRO Yuki, STRECHER Matthew C., TSUCHIDA Kensei, Technical report of IEICE. KBSE, 110, (468) 31 - 36,   2011 03 03 , In recent years, the technology needed to process languages on computers has become available as open-source software. This technology has made it easier to carry out analysis of large volumes of text - such as lexical analysis - using software as a tool. As a result, one finds computer-driven quantitative analyses of texts in a variety of fields. Among these may be found studies in which these methods have been applied to the analysis of literary texts, as well. Literary works, however, inevitably contain an element of fuzziness. Therefore, the aim of this study is to apply the methods of fuzzy cluster analysis to the literary text in order to extract their tendencies and characteristics objectively, leading to deeper understanding thereof. Specifically, we will perform a fuzzy cluster analysis to Murakami Haruki's novel Umibe no Kafka (2002; Kafka On the Shore), and use the output of this analysis to perform an interpretation of the work.
  • D-12-3 An Automatic Generation of 3D Topographical Maps using Octgrid, Kinoshita Yosuke, Shiono Yasunori, Yaku Takeo, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2011,   2011 02 28
  • D-5-7 Comprehension of Literary Works by Fuzzy Cluster Analysis, Kato Chieko, Maeshiro Yuki, Strecher Matthew C., Tsuchida Kensei, Proceedings of the IEICE General Conference, 2011,   2011 02 28
  • A-8-3 Consumer Needs in Web Counseling System Design : An International Comparison, Yoshinuma Satoshi, Kato Cheko, Goto Takehide, Kioka Keiko, Strecher Matthew C., Kikuhci Taishi, Sugimoto Futoshi, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2011,   2011 02 28
  • A-8-2 International Comparison of the Needs of Consumers towards Web Counseling, Kikuchi Taishi, Kato Chieko, Muto Takehide, Kioka Keiko, Strecher Mathew C., Tsuchisa Kensei, Proceedings of the IEICE General Conference, 2011,   2011 02 28
  • Drawing Test on Web Counseling System, SHIONO Yasunori, KATO Chieko, TSUCHIDA Kensei, Journal of the Visualization Society of Japan, 30, (117) 96 - 101,   2010 04 01
  • GUI for Online Counseling System, GOTO Takaaki, KATO Chieko, TSUCHIDA Kensei, Journal of the Visualization Society of Japan, 30, (117) 90 - 95,   2010 04 01
  • 4J-3 Development of drawing test system, Uetsuhara Megumi, Kato Chieko, Shiono Yasunori, Shibutani Hideo, Tsuchida Kensei, 全国大会講演論文集, 72, (4) "4 - 563"-"4-564",   2010 03 08
  • Consideration of improvement of mental health for people living overseas though online counseling, Koushiro ISHIMURA, Nobuko TANAKA, Chieko KATO, Kensei TSUCHIDA, Takehide GOTO, Industrial technology, (32) 72 - 75,   2010
  • Report on the project studies: Projection test using computer images, Yasunori SHIONO, Chieko KATOU, Megumi UETSUHARA, Kensei TSUCHIDA, Industrial technology, (32) 28 - 30,   2010
  • A similar (question/answer) document retrieval system by a question with some fuzziness, MAESHIRO Yuki, SHIONO Yasunori, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, SATOH Akira, バイオメディカル・ファジィ・システム学会大会講演論文集 : BMFSA, 22, (22) 59 - 62,   2009 10 10 , Personal Computer Users 'Application technology (PCUA) had done the consultations service of the trouble of the personal computer in the past. However, the questioner was not able necessarily to obtain the answer early because the operator used the key word and it retrieved the database. Therefore, I suggest the system which searches a database without a questioner depending on an operator. This paper explains the outline and the performance of the system that doesn't need the operator and can retrieve it.
  • A-8-7 Improvement of On-Line Counseling System, Zhuang Heliang, Tsuchida Kensei, Kato Chieko, Ishimura Yujiro, Ishida Michihiro, Ogiwara Hideto, Proceedings of the Society Conference of IEICE, 2009,   2009 09 01
  • A-8-6 Investigation and Analysis of Effective Images for On-Line Counseling System, Kobori Akito, Kato Chieko, Takahashi Nobuo, Tsuchida Kensei, zhuang heliang, Proceedings of the Society Conference of IEICE, 2009,   2009 09 01
  • 4L-4 Behavioral Verification in the Hichart Development Environment for Embedded Software, OGIWARA Shuto, GOTO Takaaki, YAKU Takeo, TSUCHIDA Kensei, 全国大会講演論文集, 71, (1) "1 - 295"-"1-296",   2009 03 10
  • A-8-5 Examining the Need for Improvement of On-Line Counseling System, Ishimura Yujiro, Kato Chieko, Tsuchida Kensei, Shibutani Hideo, Zhuang Heliang, Proceedings of the Society Conference of IEICE, 2009,   2009 09 01
  • 3B-7 Table Edit Algorithms for Octgrid, YOSHIZUMI Toshihiro, SHIONO Yasunori, YAKU Takeo, TSUCHIDA Takeo, 全国大会講演論文集, 71, (1) "1 - 265"-"1-266",   2009 03 10
  • 2B-2 Whole Japan Area Ridge Lined 3D Landform Maps Using a Steepest Descent Method, Asanuma Toshimi, Sugita Kimio, Tsuchida Kensei, Tomita Keisuke, Nomaki Kenshi, Makiyama Hanami, Yaku Takeo, Yasui Maya, 全国大会講演論文集, 71, (1) "1 - 241"-"1-242",   2009 03 10
  • D-12-32 A Method of Generating Polygons Based on Octgrid for 3D Topographical Maps, Sato Yuichi, Shiono Yasunori, Tsuchida Kensei, Yaku Takeo, Proceedings of the IEICE General Conference, 2009,   2009 03 04
  • D-7-6 Construction of Online Counseling System, Kuang Zhongli, Goto Takaaki, Kato Chieko, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2009,   2009 03 04
  • Grid Graph Models for Tables and Their Editing Algorithms(Session 2F), Tsuchida Kensei, Motohashi Tomoe, Yaku Takeo, Yamazawa Satoshi, Yoshizumi Toshihiro, IPSJ SIG Notes, 2009, (19) 225 - 228,   2009 02 26 , Firstly, we propose line deletion algorithm to be based on octgrid graph model for a table of single page. Next, we propose hexadeci-grid graph model for tables of multi pages and wall movement algorithm on hexadeci-grid graph model.
  • Rendering 24-ary Grids for Rectangular Solid Dissections, Kishira Satoshi, Sugita Kimio, Tsuchida Kensei, Nomaki Kenshi, Motohashi Tomoe, Yaku Takeo, IPSJ SIG technical reports, 2008, (126) 13 - 16,   2008 12 10 , We propose 24-ary grids representation of rectangular solid dissections for ruled line preserving operations. And we show data structure called H9CODE corresponding to the 24-ary grids. Furthermore, we show a volume cell unification method in the 24-ary grids. And 24-ary grids is applied to the sphere, and rendering.
  • Rendering 24-ary Grids for Rectangular Solid Dissections, Kishira Satoshi, Sugita Kimio, Tsuchida Kensei, Nomaki Kenshi, Motohashi Tomoe, Yaku Takeo, IPSJ SIG Notes, 2008, (126) 13 - 16,   2008 12 10 , We propose 24-ary grids representation of rectangular solid dissections for ruled line preserving operations. And we show data structure called H9CODE corresponding to the 24-ary grids. Furthermore, we show a volume cell unification method in the 24-ary grids. And 24-ary grids is applied to the sphere, and rendering.
  • 多層型矩形分割に対する16分格子グラフ表現 (理論計算機科学の深化 : 新たな計算世界観を求めて), 呉羽 彬, 土田 賢省, 夜久 竹夫, 数理解析研究所講究録, 1599,   2008 05
  • D-9-9 Mobile Phone Input Method with Encoding in Work Management System on Construction Site, Shimada Hiroumi, Kuang Zhongli, Goto Takaaki, Tsuchida Kensei, Nakagawa Yoshitaka, Proceedings of the IEICE General Conference, 2008,   2008 03 05
  • D-3-3 The Hichart development environment for embedded software, Daitoku Yuta, Gotou Takaaki, Kirisima Tadaaki, Yaku Takeo, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2008,   2008 03 05
  • D-1-4 Counting of Rectangles Using an Attribute Graph Grammar for Octgrid, Kanazawa Yuji, Kirishima Tadaaki, Shiono Yasunori, Yaku Takeo, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2008,   2008 03 05
  • A-6-13 24-ary Grid Graph Representation for the Rectangular Solid Dissections, Kishira Satoshi, Kureha Akira, Motohashi Tomoe, Tsuchida Kensei, Yaku Takeo, Proceedings of the IEICE General Conference, 2008,   2008 03 05
  • Visualization of Highly Efficient Transport Protocol for Large Capacity Files(Network Protocols, Network Services in Information Pollution Era), SUMIDA TOMOO, TSUCHIDA KENSEI, ITO KATSUYOSHI, IPSJ Journal, 49, (2) 544 - 554,   2008 02 15 , We propose a method to visualize the non-ordered block transfer on XCAST (NBT on XCAST) protocol. This protocol efficiently transfers large-capacity files by reducing file transfer processing in the server and minimizing the bandwidth consumption in the network. However, it merely uses the individual operation status of the server and each router, but the status of the whole system is difficult to understand. We developed our visualization method to understand the operation status of the whole structure, especially the data flow, server, router, and each client. In this visualization method, vertices, edges, and weight of edges represent clients and routers, communication lines, and bandwidths, respectively. Moreover, we investigated how to make the protocol more efficient using this method.
  • K-019 Geographic Information Learning Based on a 3D Polarized Light System, Yoshino Daisuke, Kishira Satoshi, Tsuchida Kensei, Uehara Shin-ya, Nomaki Kenshi, Yaku Takeo, 情報科学技術フォーラム一般講演論文集, 6, (3) 553 - 554,   2007 08 22
  • A-003 Geographical Concept Recognition System with the Octgrid Model, Kureha Akira, Yokoyama Ryusuke, Yaku Takeo, Yoshino Daisuke, Ogasawara Hiroyasu, Motohashi Tomoe, Tsuchida Kensei, 情報科学技術フォーラム一般講演論文集, 6, (1) 7 - 8,   2007 08 22
  • D-12-12 VRML Topographical Maps Editor Based on H7CODE, Yamada Yuichi, Shiono Yasunori, Nomaki Kenshi, Yaku Takeo, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2007,   2007 03 07
  • D-9-3 Work Management System on Construction Site Using Mobile Phone, Tsuboi Takahiko, Goto Takaaki, Tsuchida Kensei, Nakagawa Yoshitaka, Proceedings of the IEICE General Conference, 2007,   2007 03 07
  • D-1-3 Parser for Octgrid, Miyata Shinobu, Kirishima Tadaaki, Shiono Yasunori, Yaku Takeo, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2007,   2007 03 07
  • D-1-2 A Graph Grammar for Tables with Slice Structure, Shimoyama Keiichi, Kirishima Tadaaki, Yaku Takeo, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2007,   2007 03 07
  • An application possibility of geography Computer Aided Instruction by 3D graphic, YOSHINO Dasiuke, UEHARA Shinya, YAKU Takeo, USHIDA Shinichi, OGASAWARA Hiroyasu, AKAGI Goro, TSUCHIDA Kensei, MIYADERA Youzou, IEICE technical report. Education technology, 106, (437) 11 - 13,   2006 12 08 , In present study, We development the geography education computer aided instruction by 3D computer graphics. We introduce 3D contents and a computer assisted instruction system by courseware of a drill form and suggest the application possibility.
  • Syntactic Characterization of Two-Dimensional Grid Graphs by a Context-Sensitive Graph Grammar(New Trends in Theory of Computation and Algorithm), ARITA Tomokazu, TSUCHIDA Kensei, YAKU Takeo, RIMS Kokyuroku, 1489,   2006 05
  • Models for geographic feature extraction and applications to 3D landform maps, Akagi Goro, Tsuchida Kensei, Yaku Takeo, Yokoyama Ryusuke, IPSJ SIG Notes, 2006, (29) 73 - 76,   2006 03 16 , We propose three models to extract geographic features such as ridge line and valley line from numerical altitude data of mesh type f(m, n). The first one is due to the calculation of the discrete Laplacian: Δf(m, n)≡f(m-1, n)+f(m+1, n)+f(m, n-1)+f(m, n+1)-4f(m, n). The second one extracts ridge lines and valley lines by classifying the local shape of topography. The third one relies on finding steepest descent lines on the ground. Furthermore, we produce 3D landform maps with ridge lines and valley lines by using the first models.
  • A Formalization of Business Documents by an Attribute Graph Grammar, Shimizu Miyuki, Akagi Goro, Tsuchida Kensei, Yaku Takeo, IPSJ SIG Notes, 2006, (29) 39 - 42,   2006 03 16 , The formalization of business documents has become an important subject with the progress of e-commerce and e-government. In this paper, we formalize the structure of financial statement, which is a sort of business document, by using graph grammar. To formalize financial statements, we specify the order and the number of items that appear and calculation methods. Therefore, we propose a context-sensitive graph grammar which enables the specification of the order and the number of items to formalize financial statements. We also append attributes to the context-sensitive graph grammar to specify calculation methods.
  • WBT Content for Geography and Geology Using 3D Landform Maps Written in VRML, AKAGI Goro, ANADA Koichi, TSUCHIDA Kensei, MIYADERA Youzou, YAKU Takeo, YASUI Maya, IEICE technical report. Education technology, 105, (581) 1 - 6,   2006 01 21 , We developed Web Based Training (WBT) content for geography and geology using Virtual Reality Modeling Language (VRML). We also propose a couple of ideas for WBT content that have not yet been implemented. Our WBT content was evaluated by high school teachers.
  • A Visual Programming Language A-BITS, AJIRO Takashi, TSUCHIDA Kensei, Technical report of IEICE. SS, 103, (318) 15 - 20,   2003 09 19 , Visual programming (VP) is recognized as an important technology that has lead to increases in the efficiency of software development because of its ease of learning and maintenance compared with text based programming. As GUI has become more wide spread, much work is being done on VP in which programs are described by graphs or icons. Many kinds of VP have been created, and a number of parsing systems for them have also been developed. We have developed a VPL, called A-BITS, for creating multimedia applications and improving the efficiency of their development. A-B1TS has two main features: it is a mechanism that is composed of parts from a program, and it can handle all data as a bit stream. We describe the VPL A-BITS and an experiment that evaluates its functions.
  • A Formalization of Business Documents by Graph Grammars, Shimizu Miyuki, Tsuchida Kensei, Yaku Takeo, IPSJ SIG Notes, 2004, (53) 67 - 73,   2004 05 21 , We deal with a formalization of financial statements which is a type of business documents. In order to formalize financial statements, we have to specify the order and number of items, and specify calculation methods. In this paper, we construct a context sensitive graph grammar to specify the order of items of financial statement. We also show examples of derivation.
  • J-047 Octet Graph Representation for Multi-Resolution 3D Landform Maps, Akagi Goro, Miyadera Youzou, Motohashi Tomoe, Nomaki Kenshi, Tsuchida Kensei, Yaku Takeo, 情報科学技術フォーラム一般講演論文集, 4, (3) 287 - 288,   2005 08 22 , 8分グラフに基づいた多重解像度3D地形図を表現するための新しいデータ構造を提案する.ここで提案する3D地形図の表現方法を応用することで,従来の手法に比べ,局所的かつ動的な解像度の変更が有効に実行されると期待される.
  • Algorithms for Table Transformation (New Aspects of Theoretical Computer Science), Motohashi Tomoe, Tani Sei'ichi, Tsuchida Kensei, Yaku Takeo, RIMS Kokyuroku, 1325,   2003 05
  • Software Development Supporting Facilities Based on Attributes Evaluation in Hichart Editor, Goto Takaaki, Motousu Norihito, Kirishima Tadaaki, Yaku Takeo, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2003,   2003 03 03
  • Generation of a Database for Software Specifications using XML, Sakai Miki, Yamaguchi Tomoya, Sugita Kimio, Yaku Takeo, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2003,   2003 03 03
  • Attribute Graphs and Their Algorithms for Table Interface, MOTOHASHI Tomoe, TSUCHIDA Kensei, YAKU Takeo, Technical report of IEICE. SS, 102, (63) 1 - 6,   2002 05 10 , Tables with heterogeneous cells are commonly used in computer human interface and documentation. Insertion and deletion of rows and columns are basic operations in table editing. Editing operations, however, often cause unexpected results in table processing systems in word processors. In this paper, we propose an attribute multi edge graph representation for tables in consideration of editing and drawing. The nodes in an attribute graph correspond to the cells in a table, and the number of edges is at most 4n, where n is the number of nodes in the graph. We then introduce several algorithms for graph editing, and their time complexity. It is shown that insertion and deletion of columns are executed effectively as well as insertion and deletion of rows, in our representation.
  • SVG Presentation of Program Diagrams by Attribute edNCE Graph Grammars, Motousu Norihito, Inoue Osamu, Kirishima Tadaaki, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2002,   2002 03 07
  • A Hichart Editor based on attribute edNCE graph grammars, Gotou Takaaki, Kirishima Tadaaki, Yaku Takeo, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2002,   2002 03 07
  • Application of Graph Grammars to Program Diagrams and Tabular Form Processing, ARITA Tomokazu, TSUCHIDA Kensei, SUGITA Kimio, YAKU Takeo, IEICE technical report. Theoretical foundations of Computing, 101, (707) 17 - 23,   2002 03 04 , We deal with syntactic definitions and processing of program diagrams based on graph grammars with respect to the mechanical drawing. In this paper, we provide a survey of our recent results based on [14]. We introduce an attribute NCE graph grammar of hierarchical diagrams such as structured program diagrams. We also introduce attribute context-free and context-sensitive NCE graph grammars for nested and tessellation diagrams, respectively. Attribute rules are used for the mechanical drawing. Furthermore, we introduce an integrated diagram processing method based on NCE graph grammars. The results could be applied to general diagram processing.
  • An XML Viewer for Tabular Forms in Mechanical DOcumentation, INOUE Osamu, NAKAGAWA Shun-ichi, ARITA Tomokazu, YAKU Takeo, TSUCHIDA Kensei, Technical report of IEICE. SS, 101, (629) 31 - 38,   2002 01 23 , We deal with mechanical documentation in software development tools. First, we review tabular forms for program specification and their formal syntax by an attribute edNCE graph grammar. Next we introduce parser based on the syntactic definitions and attribute rules. Furthermore, we introduce an XML viewer for tabular forms based on the attribute graph grammar. Finally, we introduce a system structure to construct the whole processing system for mechanical documentation. These results can be applied to mechanical manipulation of general tabular forms.
  • Diagnosis and Method of Repair for disabled Machine based on Database System, Arai Shuichirou, Satoh Akira, Tsuchida Kensei, Yamashita Hajime, Suda Hiroshi, バイオメディカル・ファジィ・システム学会大会講演論文集 : BMFSA, 14, (14) 82 - 85,   2001 10 27 , It is effective to diagnose and find a method of its repair for disabled machines based on the information fixed in the past. But it is hard to search easily and speedily the required information for a lot of data in the past. We propose a new method to do it. This is based on the database system with a fuzzy graph model.
  • A Method of Information Retrieval by using Fuzzy Graph, ARAI Shuichirou, SATOU Akira, TSUCHIDA Kensei, YAMASITA Hajime, SUDA Hiroshi, ファジィシステムシンポジウム講演論文集, 17,   2001 09 05
  • An XML Viewer for Tabular Forms for use with Mechanical Documentation, Inoue Osamu, Tsuchida Kensei, Nakagawa Syunichi, Annual reports of the Institute of Information Sciences, (1) 7 - 12,   2001 01
  • Application of Attribute NCE Graph Grammars to Syntactic Editing of Tabular Forms, Arita Tomokazu, Tomiyama Kiyonobu, Tsuchida Kensei, Annual reports of the Institute of Information Sciences, (1) 1 - 5,   2001 01
  • Application of Attribute edNCE Graph Grammars to Syntactic Editing of Tabular Forms (New Developments of Theory of Computation and Algorithms), Tomiyama Kiyonobu, Arita Tomokazu, Tsuchida Kensei, Yaku Takeo, RIMS Kokyuroku, 1205,   2001 05
  • Parsing of Program Diagrams with Attribute Precedence Graph Grammar, Ruise Kenji, Tsuchida Kensei, Yaku Takeo, IPSJ SIG Notes, 2001, (27) 17 - 20,   2001 03 15 , DXL (a Diagram eXchanged Language for tree-structured charts) is an inner code for tree structured program diagrams and is registered in the Japan Industrial Standard as JIS X 0130. We consider Hichart as an example of program diagrams and parsing method an attribute graph grammar for tree structured diagrams with respect to DXL. Miyazaki introduced a HCGG (HiChart Graph Grammar) which is an attribute graph grammar with an underlying graph grammar based on edNCE graph grammar, for Hichart with respect to DXL. In this paper, we formalize a precedence graph grammar which is equivalent to the HCGG at first. Next, we think a syntactic analysis algorithm with precedence relations and an appreciation of the complexity.
  • A Method of Information Retrieval based on Inexact Information, Ohashi Ichita, Satoh Akira, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2001,   2001 03 07
  • Generation for Tabular forms of Karnaugh Map Type by edNCE Graph Grammars, Kirishima Tadaaki, Arita Tomokazu, Yaku Takeo, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2001,   2001 03 07
  • XML Presentation of Tabular Forms by Attribute edNCE Graph Grammars, Inoue Osamu, Arita Tomokazu, Yaku Takeo, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2001,   2001 03 07
  • D-3-7 A Syntax Directed Environment for Tabular Form Processing, Nakagawa Shun-ichi, Arita Tomokazu, Tomiyama Kiyonobu, Yaku Takeo, Miyadera Youzou, Tsuchida Kensei, Proceedings of the IEICE General Conference, 2001,   2001 03 07
  • Syntactic Editing of Tabular Forms by Attribute edNCE Graph Grammars, Tomiyama Kiyonobu, Arita Tomokazu, Tsuchida Kensei, Yaku Takeo, Technical report of IEICE. SS, 100, (471) 1 - 7,   2000 11 20 , Tabular forms such as program specification forms [10] are naturally formalized by the attribute graphs [10], in which the attribute denotes locations of items and while the edge labels denotes relations between items. Documents of the tabular forms are represented by graph grammars(e.g., see [10]). Accordingly, a syntactic formalization of document editing provides the foundation for mechanical documentation. In this paper, first, we formalize syntax directed editing methods by extension of the notion of Cornell Program Synthesizer[2] to attribute edNCE graph grammars (cf.[4]). Next, we show the validity of our definition for editing a process under HNGG[10] using the confluence of HNGG.
  • D-3-3 Syntactic Processing of Diagrams by NCE Graph Grammars, Arita Tomokazu, Tomiyama Kiyonobu, Yaku Takeo, Miyadera Youzou, Sugita Kimio, Tsuchida Kensei, Proceedings of the Society Conference of IEICE, 2000,   2000 09 07
  • An NCE Attribute Graph Grammar for Program Diagrams with Respect to Drawing Problems, Masahiro Miyazaki, Kenji Ruise, Kensei Tsuchida, Takeo Yaku, IEICE technical report. Theoretical foundations of Computing, 100, (52) 1 - 8,   2000 05 11 , DXL(a Data eXchanged Language)is an inner code for tree structured program diagrams and is registered in the Japan Industrial Standard as JIS X 0130. We consider Hichart as an example of program diagrams and an attribute graph grammar for tree structured diagrams with respect to DXL. Oi introduced an attribute graph grammar which has an underlying context-free graph grammar based on Vigna's context-free graph grammar and attribute rules for a elementary drawing conditions in 1998[8]. In this paper, first we introduce new drawing conditions. Next, we construct an underlying context-free graph grammar based on an NCE graph grammar and attribute rules for those new drawing conditions.
  • Road-traffic Simulation with Microscopic Model, NAGAOKA Kouichi, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, SATOH Akira, Proceedings of the IEICE General Conference, 2000,   2000 03 07
  • Analysis System For Information Design, Hueiling LEE, OHASHI Ichita, TSUCHIDA Kensei, SATOH Akira, Proceedings of the IEICE General Conference, 2000,   2000 03 07
  • A Graph Grammar for Tabular Program Specification Forms, Arita Tomokazu, Sugita Kimio, Tsuchida Kensei, Yaku Takeo, Proceedings of the IEICE General Conference, 2000,   2000 03 07
  • Block Diagram Grammar(情報基礎理論ワ-クショップ(LAシンポジウム)論文小特集), ADACHI Yoshihiro, KOBAYASHI Suguru, TSUCHIDA Kensei, YAKU Takeo, The transactions of the Institute of Electronics, Information and Communication Engineers. D-I, 83, (1) 45 - 54,   2000 01 25 , ブロック線図は, 制御工学やアナログ(ディジタル)フィルタなどの分野でシステムの構造を簡潔に表現して解析や設計に有効に利用できる図的モデルとして広く用いられている.本論文では, 1入力1出力ブロック線図を生成するブロック線図文法と呼ぶ文脈依存グラフ文法を定義する.この文法はブロック要素, 加算点, 分岐点などのブロック線図の基本要素を終端ラベルとしてもつ19のプロダクションからなり, 左辺に二つのノードからなるグラフをもつ文脈依存のプロダクションを一部に含んでいる.そして, ブロック線図文法により生成された図がブロック線図となること(十分性)を示す.また, ブロック線図文法に基づいたブロック線図の構文解析法についても説明する.更に, ブロック線図文法を応用した処理系について述べる.ブロック線図を構文規則により形式的にかつ厳密に定義した研究は, 本論文が初めてのものである.
  • Formalization of Software Documents Using a Precedence Graph Grammar, Arita Tomokazu, Adachi Yoshihiro, Sugita Kimio, Tsuchida Kensei, Yaku Takeo, Proceedings of the Society Conference of IEICE, 1999,   1999 08 16
  • Road-traffic Simulation with Microscopic Model, KIDOH Tomomitsu, NAGAOKA Kouichi, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, SATOH Akira, Proceedings of the IEICE General Conference, 1999,   1999 03 08
  • Context-sensitive Graph Grammar with Neighborhood Controlled Embedding, 小林 卓, 安達 由洋, 土田 賢省, 夜久 竹夫, Proceedings of the IEICE General Conference, 1999,   1999 03 08
  • A Context-sensitive Garph Grammar and Its Parser, Adachi Yoshihiro, Kobayashi Suguru, Nakajima Yuich, Tsuchida Kensei, Yaku Takeo, IEICE technical report. Theoretical foundations of Computing, 98, (442) 49 - 56,   1998 12 04 , Graph grammars were originally studied in the field of pattern recognition. Since then graph grammars have been used in VLSI layout, software engineering and other various areas. Among these studies many kinds of graph grammars are presented. However, most of them are context-free graph grammars and there are very few applications of context-sensitive graph grammares. In this paper, we define an edNCE context-sensitive graph grammar extended an edNCE graph grammar [1]. We next define a dNCE context-sensitive graph grammar which is a subclass of the edNCE context-sensitive graph grammar. Then we describe a application of the dNCE context-sensitive graph grammar. We call it a block diagram grammar. Finally, we explain a parising argorithm based on the edNCE context-sensitive graph grammar.
  • Clock Synchronization Methodology and its Evaluation in Parallel Simulation for Road-Traffic Networks, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, MORI Hideki, IKAI Kunio, SATOH Akira, シミュレーション・テクノロジー・コンファレンス発表論文集, 1998,   1998 06 17
  • Verificaition Rood-network Model and Track Model of MITRAM, KIDOH Tomitsu, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, SATOH Akira, シミュレーション・テクノロジー・コンファレンス発表論文集, 1998,   1998 06 17
  • The Method of Synchronization for Parallel Network-flow type Simulation, Namekawa Mitsuhiro, Tsuchida Kensei, Mori Hideki, Satoh Akira, Proceedings of the IEICE General Conference, 1998,   1998 03 06
  • Drawing Method of Fuzzy Graph, KIDOH Tomomitsu, TOGASHI Masahiko, TSUCHIDA Kensei, SATOH Akira, YAMASHITA Hajime, Proceedings of the IEICE General Conference, 1998,   1998 03 06
  • Automatic Editing System for Network News, HORIUCHI Yasuyuki, NIRAZUKA Takashi, TSUCHIDA Kensei, SATOH Akira, Proceedings of the IEICE General Conference, 1998,   1998 03 06
  • Layout System for Tree-Structured Diagrams, IMAKI Takanori, ADACHI Yoshihiro, TSUCHIDA Kensei, YAKU Takeo, 全国大会講演論文集, 55, (4) 41 - 42,   1997 09 24 , 木の描画問題には, レイアウト条件に依存して線形時間で解ける問題, NP完全の問題, 計算量のクラスが判っていない問題などがある[1]. NP完全間題に対して手続き的プログラムを開発して対処しようとすると, レイアウト条件ごとにプログラムを作る必要かあり, 開発されたプログラムの保守や拡張は困錐な作業となる. 一方, 制約プログラミングは手続き的プログラミングが難しい問題などに対する解決手法として注目され, その有効性が確認されている[2]. 我々は, 制約プログラミングを用いた木構造図の描画について研究している[3]. 本稿では, 木構造図描画支援システム[4]といくつかの拡張した機能について報告する. 本システムでは, 新たに実現した木構造エディタにより, 具体的な木構造を容易に入力でき, 制約エディタを用いて選択したレイアウト条件に基づいて木構造図を表示し, ユーザはその表示桔果からレイアウト条件をインタラクティブに変更して, ユーザが望むレイアウト条件を探すことができる. さらに, システムは選択したレイアウト条件に基づいて座標計算するプログラムを自動生成して, ユーザはそのプログラムを他のアプリケーションに組入れて利用できる.
  • An Evaluation of Conservative Synchronization Algoriyhm in Parallel Simulation for Road-Traffic Networks, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, IKAI Kunio, SATOH Akira, NAKANISHI Toshio, シミュレーション・テクノロジー・コンファレンス発表論文集, 1997,   1997 06 18
  • Attribute Block Diagram Grammar, Kobayashi Suguru, Adachi Yoshihiro, Tsuchida Kensei, 全国大会講演論文集, 55, (1) 95 - 96,   1997 09 24 , ブロック線図は, 制御システムやフィルタなどの構造を簡潔にかつ分りやすく表現することができる図的モデルであり, 線図上で構造に付随するさまざまな情報を定義してシステムの動作や特性の解析を可能にする道具である。我々は, ブロック線図の生成規則を定式化したブロック線図文法と, その文法に基づいてブロック線図を解析するパーサを報告した。制御システムなどの解析や設計を支援するにはブロック線図の構文規則だけでなく, 構造に付随するさまざまな情報, すなわち意味を形式的に定義し, 計算するためのモデルが不可欠である。本研究では, まずブロック線図に付随するさまざまな情報を導出するためのモデルとして(文脈依存型)属性グラフ文法を定式化し, これに基づいた属性ブロック線図文法を定義する。次に, 属性ブロック線図文法に基づいてブロック線図を構文解析し, 各ノードに流れる信号の入力と出力の関係式を意味規則に基づいて導出するブロック線図パーサ属性評価器を実現する。さらに, グラフ書き換えによりブロック線図の部分構造を認識するための書き換え規則に意味規則を付加する。これにより認識した部分構造の情報も属性として導出できるようになる。
  • A Verification and Evauation for Road-network model And Track model of MITRAM, KIDOH Tomitsu, KOMAGATA Masaki, FUJISAWA Tetsuya, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, SATOH Akira, シミュレーション・テクノロジー・コンファレンス発表論文集, 1997,   1997 06 18
  • Computer aided Analysis system of Fuzzy Graph, KIDOH Tomomitsu, KOMAGATA Masaki, TOGASHI Masahiko, TSUTIDA Kensei, SATOH Akira, YAMASHITA Hajime, ファジィシステムシンポジウム講演論文集, 13,   1997 06 04
  • Block Diagram Generation and Analysis Based on Graph Rewriting, Kobayashi Suguru, Adachi Yoshihiro, Anzai Koushi, Tsuchida Kensei, IEICE technical report. Theoretical foundations of Computing, 97, (32) 9 - 16,   1997 04 25 , A graph grammar makes it possible to formally and explicitly represent graph manipulation such as generating, editing and analyzing. In this paper, We formalize a block diagram grammar which generates block diagrams by means of subgraph rewriting based on subgraph isomorphism. It is a context-sensitive graph grammar. Then, we implement a block diagram parser based on the block diagram grammar and evaluate it. Next we consider a method of representing knowledge of constructing control systems and digital filters. We also formalize rewriting rules for recognizing fundamental structure which are important in control system analysis and design, and implement a structure recognition system using graph rewriting based on the rules.
  • Formalization of Syntax-Directed Diagram Editor Based on Attribute Graph Grammar, Anzai Koushi, Adachi Yoshihiro, Tsuchida Kensei, Yaku Takeo, IEICE technical report. Theoretical foundations of Computing, 97, (32) 1 - 7,   1997 04 25 , In this paper, we first explain the formalization of generating and editing commands of a syntax-directed diagram editor based on an attribute graph grammar. There are two important property in a syntax-directed editor for a program diagram ; the editor can generate and edit (i)[soundness] a grammatically correct diagram and (ii)[completeness] an arbitrary diagram. Next, we improve the definition of soundness and completeness introduced in [3] to be suited to features of the editor.
  • Structure Recognition of Block Diagrams Based on Graph Rewriting and Its Application, KOBAYASHI Suguru, ADACHI Yoshihiro, ANZAI Koushi, TSUCHIDA Kensei, 全国大会講演論文集, 54, (1) 393 - 394,   1997 03 12 , 複雑なシステムの構造を見通しよく表現する図的モデルとしてブロック線図がある.ブロック線図を用いると, システムの構造を視覚的に容易に把握できるだけでなく, 構造に付随する様々な情報を図上で定義し導出することができる. このようなことから, ブロック線図はシステムの解析および設計の道具として制御工学やアナログあるいはディジタルフィルタの設計などの様々な分野で使われている. 我々は, ブロック線図に対する生成, 変形, 解析などの操作を数学的に扱えるようにするためにグラフ文法を用いてブロック線図文法を定義し, それに基づくブロック線図パーサを作成した. これは既に報告済みである. 本稿では, 部分グラフの同形性に基づくグラフ書き換えを用いてシステムの構造を認識する機能の実現について述べる. この機能はボトムアップにブロック線図を書き換えて直列結合, 並列結合, フィードバック結合など制御系の解析や設計でよく用いられる基本結合構造を認識するものである. さらに, 伝達関数や誤差信号など認識した構造に付随する情報を導出する機能を実現する.
  • Automatic Editing System for Network News, Horiuchi Yasuyuki, Nakayama Tomoyuki, Nirazuka Takashi, Tsuchida Kensei, Sato Akira, Proceedings of the IEICE General Conference, 1997,   1997 03 06 , 現在、コンピュータネットワークの利用の広がりにより、個別ユーザがアクセス可能な情報の範囲は世界的規模にまで拡大し、その量も莫大なものとなっている。その中で多くの人々が利用しているネットニュースについても、日々更新される内容を詳細に追い、全体をカバーすることは非常に手間のかかる作業となっている。そこで、我々は目的に応じた記事を収集し、記事の種別や個人の嗜好に沿った見やすい形に記事を加工する作業を自動化し支援するネットニュースの自動編集システムの開発を行なっている。本システムの第一版に関しては、既に発表済みであるが、今回はキーワードの指定方法の拡充、それに伴う検索の効率化、さらにユーザインタフェース部の改良を行なったので報告する。
  • Visual Programming Environment for C based on Attribute Graph Grammar, IMAKI Takanori, ADACHI Yoshihiro, TSUCHIDA Kensei, YAKU Takeo, 全国大会講演論文集, 54, (1) 367 - 368,   1997 03 12 , 人間はテキストだけからでは読取れない複雑な情報を図からだと非常に迅速に理解できる場合がある. プログラムの開発や教育においても, 図を用いた可視化はプログラムの構造や仕様を把握するのに有効な手段である. 本研究では, 企業や教育でよく扱われるプログラミング言語Cを対象言語とした視覚的プログラム開発支援システム (C 対応 Hichart統合システムと呼ぶ) の実現を目指す. 本システムは, Hichart を用いた図的プログラミングとテキストベースプログラミングを融合したものである. 構文指向プログラム図エディタにより初心者はC言語のデータ構造や制御構造の構成法を視覚的・直感的に学習することができる. また, このエディタで作成したプログラム図から対応するCプログラムを自動生成できる. 一方, 熟練者は既存のCプログラムを可視化し, その情報をプログラムの再利用や編集のために有効に利用できる.
  • Verification of Road Traffic Simulation Model : Road Network Model・Track Model, FUJISAWA Tetsuya, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, SATOH Akira, Proceedings of the IEICE General Conference, 1997,   1997 03 06 , 道路交通の渋滞メカニズムの解析を目的としたシミュレーションシステムを開発している。本システムでは、渋滞解析の決め手となる自動車の動きを、より現実に近い形で再現することが要求される。本論文では、現実と同じような自動車の動きを可能とする道路ネットワークモデルとトラックモデルの妥当性を検証するために、シミュレーションを行った。その検証結果について報告する。
  • General Purpose Input System for Road Traffic Simulation System, ONODERA Hiroshi, SATOH Junichi, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, SATOH Akira, Proceedings of the IEICE General Conference, 1997,   1997 03 06 , 渋滞解析のための汎用型シミュレーションシステムの開発を行っている。渋滞発生メカニズムの解明には、個々の車のより正確な振る舞いが重要であるため、自動車モデルは微視的モデルであるこどが要求される。また、一方においてシミュレーション対象領域が特定地域に依存しない汎用性を持つことも要求される。従って、それらに見合った詳細な道路構造及び環境を構築する必要があるが、これらのデータは膨大な量となり、データ作成には多くの時間を要する。そこで、自動車走行に影響を及ぼすと考えられる道路構造及び環境を解析してその特性を抽出することによって簡易に入力する方法を考案した[1]。本研究では、入力システムのマンマシン処理方式について報告する。
  • Human-interface of Traffic Simulation System with Microscopic Vehicle Model, KONMAGATA Masaki, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, SATOH Akira, Proceedings of the IEICE General Conference, 1997,   1997 03 06 , 渋滞道路の解析や改善には、現実に忠実な動きをする微視的な自動車モデルと実在のシステムに近い動作をするシミュレーションシステムが要求される。しかし、微視的なモデルによるシミュレーションではモデルの妥当性の検証および結果の解析が容易でない。本論文では、微視的な自動車モデルによる道路交通シミュレーション結果の解析を容易に行える対話型アニメーションシステムを提案し、その機能および性能について確認したので、その結果を報告する。
  • stimation for methods of drawing tree-structured diagrams, Tsuchida Kensei, IMAKI Takanori, ADACHI Yoshihiro, IEICE technical report. Theoretical foundations of Computing, 96, (398) 21 - 30,   1996 12 06 , In this paper, we report our estimation for procedural methods and constraint programming methods of drawing tree-structured diagrams. We investigate the relation between computational complexity classes and sets of conditions with respect to minimum-width drawings. Our results shows that under certain sets of conditions procedural methods are efficient, while in the case of intractable conditions constraint programming methods are useful.
  • Computer aided Analysis system of Fuzzy Graph, KOMAGATA Masaki, KIDOH Tomomitsu, TOGASHI Masahiko, TSUCHIDA Kensei, SATOH Akira, YAMASHITA Hajime, 日本教育工学会大会講演論文集, 12,   1996 11 03
  • Application of an attributte graph grammar to block diagrams and signal flow graphs, Kobayashi Suguru, Adachi Yosihiro, Anzai Koushi, Tsuchida Kensei, 全国大会講演論文集, 53, (1) 167 - 168,   1996 09 04 , 多数の互いに影響し合う要素から構成されるシステムを見通しよく簡潔に図的表現する方法として,ブロック線図とシグナルフローグラフがある.これらの線図を用いると,システムの構造を視覚的に容易に把握できるだけでなく構造と挙動に関する様々な情報を導出してシステムの評価・変更・改良に利用することができる.ところで,これらの線図の基本構成要素と線図例は制御の教科書などに記述されているが,形式的な生成規則(文法)を定義した研究はあまり報告されていない.特にブロック線図やシグナルフローグラフを用いてシステムの解析・設計を支援するツールには適格な線図を生成する機能と,構造を解析する機能が必要であり,これを実現するには理論的基礎となる線図の生成文法を定義することが不可欠である.本研究では,ブロック線図およびシグナルフローグラフを形式的に生成するグラフ文法を定義した.この文法は,文脈依存のプロダクションを一部に含んでいるが簡潔なものである.
  • Partial Gates and Their Identifications, Uehara Ryuhei, Tsuchida Kensei, IEICE technical report. Theoretical foundations of Computing, 96, (196) 1 - 10,   1996 07 25 , A partial gate outputs a function of a part of inputs. We investigate the problem of how to check the connectivity in a given partial gate. First, we consider partial OR,AND, and Parity gates. When the number of connected inputs is not given, the upper bounds coincide exactly with the lower bounds. When the number of connected inputs is given, the upper and lower bounds have the same order. While the upper bounds of partial OR and AND gates are given by deterministic algorithms, the upper bounds of a partial Parity gate are given by a LasVegas algorithm. Second, we consider partial Threshold gates, which have a threshold value as an additional parameter. When the number of connected inputs given is small, the upper and lower bounds have the same order. In other cases, there exists log n factor gap between each upper and lower bounds.
  • A Synchronization algorithm for parallel simulation : Estimation for a road traffic simulation, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, IKAI Kunio, SATOH Akira, NAKANISHI Toshio, シミュレーション・テクノロジー・コンファレンス発表論文集, 1996,   1996 06 19
  • Human-interface of MITRAM : Animation system of 2 and 3-dimensional multi-windows, KOMAGATA Masaki, SUZUKI Motoaki, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, SATOH Akira, シミュレーション・テクノロジー・コンファレンス発表論文集, 1996,   1996 06 19
  • Computer aided Analysis system of Fuzzy Graph, KOMAGATA Masaki, KUROYANAGI Yukio, TSUCHIDA Kensei, SATOH Akira, YAMASHITA Hajime, 12th Fuzzy System Symposium, 1996, 12,   1996 06 04
  • Efficient Drawing Algorithms on the Minimum Area for Tree-Structured Diagrams, Tsuchida Kensei, Yaku Takeo, RIMS Kokyuroku, 943,   1996 04
  • Tree Drawing by Using Constraint Programming, ADACHI Yoshihiro, TSUCHIDA Kensei, YAKU Takeo, IPSJ SIG Notes, 96, (33) 85 - 90,   1996 03 26 , A tree drawing problem under some layout conditions becomes NP-complete. We studied methods to program tree drawing problems by using constraint logic programming, and to solve them efficiently in finite domains. We have implemented a system which generates a constraint program for a tree drawing problem automatically by using meta-programming in Prolog. The system can solve a tree drawing problem of 100 nodes under a NP-complete condition in about a second.
  • The method of editing sub-program diagrams in the Hichart structured editor, Anzai Koushi, Adachi Yoshihiro, Tsuchida Kensei, Yaku Takeo, 全国大会講演論文集, 52, (4) 115 - 116,   1996 03 06 , 視覚的プログラム開発環境や図的プログラムがより一般のユーザに普及するためには図的構文エディタの開発が望まれる.図的構文エディタでは構文エラーのない任意のプログラム図が生成編集できなければならない.すなわち,(i)[健全性]文法的に正しい図が生成編集できる,かつ(ii)[完全性]任意の図が生成編集できる,という2つの性質が重要である.我々は構造化プログラム流れ図の一種として,Hichartを提案し,その処理系の開発を行ってきた.今回,大井等のPascal対応Hichart属性グラフ文法[1]に基づいて編集モデルを定義し編集操作を形式化し,上記の健全性と完全性を満たす図的構えエディタを開発した.本論文ではこの編集モデルと編集操作に基づき,部分プログラム図を単位とした編集機能を形式化した.その結果,この編集機能も健全性と完全性を保つ.
  • Tree-Structured Diagrams Drawing by Using Constraints Programming, Imaki Takanori, Adachi Yoshihiro, Tutida Kensei, Yaku Takeo, 全国大会講演論文集, 52, (4) 111 - 112,   1996 03 06 , 我々は,制約解消の技法とその実用性について研究している.制約は様々な分野で活用することができる.例えば, 電子回路のレイアウトやスケジューリング問題などは複雑であケアルゴリズムで解決しようとするとプログラミングが非常に難しい.本発表では,与えられた木構造に対して美的描画条件に対応する制約プログラムをPrologのメタプログラミング技法を用いて自動的に生成し,制約解消により描画を行うシステムについて報告する.本システムは,NP完全な条件の下で,ノード数約120,領域250の木構造図の問題を約1秒で解ける. また,解決した問題の木構造図をX Window上にOSF/Motifを用いて, ビューアを自動的に表示させる.
  • The Study of Applying Computer Graphics to Road Traffic Simulation System, Suzuki Motoaki, Namekawa Mitsuhiro, Komagata Masaki, Tsuchida Kensei, Satoh Akira, 全国大会講演論文集, 52, (1) 399 - 400,   1996 03 06 , シミュレーションは、問題解決に有効な手段として様々な分野で利用されている。しかし利用分野が広がるにつれ、対象もより複雑かつ多様になり、出力される結果もまた複雑になってくる。たとえば、渋滞道路交通システムにおけるシミュレーションのような、人間を要素に含むシステムもそのひとつである。そのようなシミュレーションでは、モデルが複雑なため、モデルの妥当性の検証、およびシミュレーション結果の解析が困難となっている。そこで、コンピュータグラフィックスを使用し、可視化することによって問題の解決に役立てることを考える。我々は、渋滞道路交通シミュレーションを具体例としてシミュレーションシステムを構築し、評価実験を行った。本論文では、シミュレーションを行うことによって、コンピュータグラフィックスを用いたシミュレーションシステムの開発方法とコンピュータグラフィックスの有効性について述べる。
  • Computer aided Analysis system of Fuzzy Graph, KUROYANAGI Yukio, KOMAGATA Masaki, TSUCHIDA Kensei, SATOH Akira, YAMASHITA Hajime, 日本教育工学会大会講演論文集, 11,   1995 11 03
  • An Extension and Application of an Attribute Graph Grammar of Hichart for Pascal, Oi Yuichi, Adachi Yoshihiro, Tsuchida Kensei, Yaku Takeo, 全国大会講演論文集, 51, (5) 35 - 36,   1995 09 20 , ISO Pascalに準拠した階層型プログラム図式言語Hichartを定義する属性グラフ文法の拡張とオートフローチャータの高速化について報告する.これまでの属性グラフ文法は,Hichart図を描画するための属性のみを定義していたが,これに,宣言された変数を格納する属性と,Pascalプログラムの行番号を情報として持つ属性を新たに加えることで属性グラフ文法を拡張する.これにより,ソースプログラムとHichart図のセルとの間での相互参照が容易になるだけでなく,変数のチェックができるなど,より実用的で高度なプログラム開発環境を持つオートフローチャータが実現できる.また,属性の数を増やすと,Hichart内部表現を生成するための処理時間が長くなるので,属性評価器の実装法の再検討を行う.その結果,非常に高速なオートフローチャータが実現できることを示す.
  • A Syntax-directed Hichart Editor Based on an Attribute Graph Grammar, Kubo Tomoyuki, Adachi Yoshihiro, Anzai Koushi, Tsuchida Kensei, Yaku Takeo, 全国大会講演論文集, 51, (5) 3 - 4,   1995 09 20 , 階層型プログラム図式言語Hichartのためのプログラム図エディタを,Prologを用いて実現した.このエディタは,属性グラフ文法で定義されたPascal対応Hichartの生成規則に基づく構文エディタ(syntax-directed editor)であり,生成や編集過程で構文エラーを引き起こすことはない.そして,レイアウト情報を含む属性をインクリメンタルに評価してHichart図を動的に生成するという特徴を持つ.さらに,未定義の変数などの意味的エラーを検出し表示するなどの支援機能も実装している.このHichartエディタは,X WindowとOFS/Motifを用いたGUI上に実現されており,統合的ソフトウェア開発支援環境を実現するための重要な視覚的プログラミングツールとなる.
  • A Syntax- directed Hichart Editor Based on an Attribute Graph Grammar, Kubo Tomoyuki, Adachi Yoshihiro, Anzai Koushi, Tsuchida Kensei, Yaku Takeo, Technical report of IEICE. SS, 95, (225) 57 - 64,   1995 09 08 , We have developed a syntax-directed editor for producing Hichart program diagrams. Since this editor creates and modifies Hichart diagrams based on an attribute graph grammar of Hichart for Pascal, it never introduces syntax errors in the process of editing. It also has a remarkable feature that, on each operation of editing Hichart diagrams are layouted by evaluating related attributes incrementally. Furthermore, it can find out semantic errors such undeclared-variable and highlight them. This editor is implemented in Prolog and has easy to handle GUI using X Window and OSF/Motif widgets. It should become an important visual programming tool to realize an integrated software development supporting environment.
  • A Syntax-directed Hichart Editor Based on an Attribute Graph Grammar, Kubo Tomoyuki, Adachi Yoshihiro, Anzai Koushi, Tsuchida Kensei, Yaku Takeo, IPSJ SIG Notes, 95, (84) 57 - 64,   1995 09 08 , We have developed a syntax-directed editor for producing Hichart program diagrams. Since this editor creates and modifies Hichart diagrams based on an attribute graph grammar of Hichart for Pascal, it never introduces syntax errors in the process of editing. It also has a remarkable feature that, on each operation of editing Hichart diagrams are layouted by evaluating related attributes incrementally. Furthermore, it can find out semantic errors such undeclared-variable and highlight them. This editor is implemented in Prolog and has easy to handle GUI using X Window and OSF/Motif widgets. It should become an important visual programming tool to realize an integrated software development supporting environment.
  • Debug Expert System for switching systems software, Cecilia Yukari Akao, Keiichi Imai, Kensei Tsuchida, NEC Research and Development,   1989 10 01 , The Debug Expert System is a system that debugs and diagnoses switching systems software. The system has been developed together with experts and the users who debug switching systems software, with the aim of satisfying requirements of both and of building a system that comports itself in the same way as humans, i.e., to approximate the system to the natural way of human thinking. For this, new concepts such as initial information and unknown treatment are introduced based on a knowledge model for debugging tasks. This model that tries to represent a natural way of thinking of users while debugging switching systems was elaborated together with experts. This paper explains the knowledge model and the architecture of the Debug Expert System, DBES in short, including descriptions of its features and justifications and explanations of new concepts introduced here. It also describes the DBES evaluation.
  • A Parallel Simulation Partitioned into n disjoint subsystems : Experiment prototype system on road traffic example, NAMEKAWA Mitsuhiro, TSUCHIDA Kensei, IKAI Kunio, SATOH Akira, NAKANISHI Toshio, シミュレーション・テクノロジー・コンファレンス発表論文集, 1995,   1995 06 21
  • An Efficient Keyword Search Algorithm Used for Automatic Editing System for Network News, Miyamoto Seiichi, Kosaka Yuichi, Takaya Tetsu, Tsuchida Kensei, Sato Akira, IEICE technical report. Theoretical foundations of Computing, 95, (82) 25 - 32,   1995 05 26 , Automatic editing system for network news automatically collects. saves and edits information in the way which he/she needs if he/she define what information is needed and how to browse it in advance. In this paper, we present an efficient keyword search algorithm which is a key to deal with a mass of text data in such the automatic editing system. Firstly we compare well-known 4 methods ; simple algortim, KR algorithm, KMP algorithm, BM algorithm. By the comparison, We improve BM method. Our method uses information of character frequency which is automatically collected and incorporated into the algorithm. It is verified that our method is efficient.
  • An Efficient Keyword Search Algorithm Used for Automatic Editing System for Network News, Miyamoto Seiichi, Kosaka Yuichi, Takaya Tetsu, Tsuchida Kensei, Sato Akira, Proceedings of the IEICE General Conference, 1995,   1995 03 27 , 情報ネットワークのインフラが次第に整備され、電子メディアによる情報空間は世界的規模で巨大化し、複雑化しつつある。現在既に、広域ネットワーク上で多くの人たちが公開されたかたちで議論や情報交換を盛んに行っている。しかし、その情報は分散しており莫大な量であるので、自分の欲する情報を洩れなく収集し、利用目的に応じた形式に整理することは非常に手間のかかる作業となっている。この問題の解決に向け、我々はどのような内容をどのように見たいかを指定するだけで、日々更新される大量のネットワーク上の情報リソースから自動的に欲しい部分を収集・蓄積し、好みに応じたGUIで提供する自動編集システムの構築を目指している。検索対象の情報が膨大であり、検索も頻繁に行われることからキーワード検索の効率化が重要な鍵となる。今回は既存の4つの検索アルゴリズムを比較検討し、文字の出現頻度に関する統計データを自動的に取り込むことにより従来の方法を改良し検索の効率化を図ることができたので報告する。
  • A Synchronization Algorithm for Parallel simulation partitioned into n disjoint subsystems, NAMEKAWA Mitsuhiro, MOTOHASHI Atsushi, MIYAZAWA Hiroyuki, TSUCHIDA Kensei, SATOH Akira, Proceedings of the IEICE General Conference, 1995,   1995 03 27 , コンピュータのコストパフォーマンスの向上により、複雑かつ広域にわたるシステムのシミュレーションが可能となりつつある。しかし、微視的なモデルを含むシミュレーションの場合には、やはり処理時間が膨大にかかために並列処理によるシミュレーション手法が有効となる。この手法での難点は、並列・分散化されたコンピュータ群間でのタイミングのとり方と、分散されたがために他のコンピュータとの協調の取り方にある。これらをいかに単純化し、そしてコンピュータ相互間のコミュニケーションをなくすかがこの問題の重要な課題となる。本研究では、連続・離散混合モデルを対象とする楽観的手法に対するアルゴリズムを検討し、一部道路交通システムを具体的な対象とする実験を行い、それを検証した。
  • Program Database based on Hiform Documentation, Onari Nobuhiko, Adachi Yoshihiro, Sugita Kimio, Tsuchida Kensei, 全国大会講演論文集, 50, (5) 289 - 290,   1995 03 15 , プログラムの開発から運用,保守に至るライフサイクルで仕様書の重要性は広く認識されている.我々は,プログラム開発を総合的に支援する環境Hitool94をワークステーション上で開発しつつあるが,このシステムにおいても仕様書とプログラムから成るソフトウェア設計事例を統一的に管理するデータベースシステムが核となる.本研究では,視覚的・統一的なソフトウェア仕様記述法Hiform94に基づいて仕様書作成を支援し,また作成されたソフトウェア設計事例を統一的かつ階層的に管理するシステム(HiformDBMSと呼ぶ)を実現した.Hiform94は,応用システムの文書化に関するISO6592のガイドラインにある項目をグループ化し,その表現単位である様式とその配列を規定する句構造文法を定めている.なお,HiformDBMSはSUN SPARC上でPrologを用いて開発されており,X WindowとOSF/Motifを利用した扱いやすいGUIを持っている.
  • Pascal-Hichart Translator in an Attribute Grammar, Ohi Yuichi, Adachi Yoshihiro, Tsuchida Kensei, Yaku Takeo, 全国大会講演論文集, 50, (5) 79 - 80,   1995 03 15 , プログラムの図式表示は,視覚的プログラミングツールの実現やソフトウェア事例データベースのプログラム情報の視覚化のために不可欠な機能である.Hichartは木フローチャートを基礎図式とする図式型言語であり,PascalからHichartへのトランスレータとしてはキャラクタ表示する研究や,PostScript言語利用してグラフィック表示する研究が報告されている.本研究では,まずPascalからHichartへの変換問題を属性グラフ文法で定式化し,文法に基づくトランスレータをPrologで実現した.Hichartの属性グラフ文法による記述例は文献[4]で既に報告されているが, 本研究ではISO規格に準拠したPascalに対する完全な属性グラフ文法を定義して,この文法に基づく属性評価器を実現している.なお,HichartはX WindowとOSF/Motifを利用したビットマップスクリーン上に表示される.
  • The optimality and the hardness in eumorphous tree drawings, Tsuchida Kensei, IEICE technical report. Theoretical foundations of Computing, 94, (181) 83 - 92,   1994 07 25 , In this paper,we consider the problem of minimum width drawing of general trees.We propose several constraints for drawing them nicely.We can show that problems axe NP-complete under certain sets of constraints with respect to n-ary trees.Our result gives a lower bound for the aproximability with respect to the minimum width drawing.We also present an O(n)time algorithm which produces the minimum width placemnt under a certain set of constraints.A constraint,which is key to obtain the optimality,will be usefull in practical drawings of trees.
  • Knowledge Editor for Software Debug Expert System, Suzuki Hirofumi, Imai Keiichi, Tsuchida Kensei, 全国大会講演論文集, 40, (1) 284 - 285,   1990 03 14 , 我々は交換系ソフトウェアを対象としたデバッグエキスパートシステム(DBES)を開発した。DBESは交換系ソフトウェアを試験する工程(試験工程)で見つかった障害やエラーに対する診断、デバッグをユーザと対話的に進めていくシステムである。図1はDBESのシステム構成である。DBESは図に示すように5つのコンポーネント(ユーザインタフェース、推論機能、知識編集機能、知識ベース、補助機能)から構成される。システムの評価結果から、専門家自身が容易に知識の保守(入力、追加、編集)を行えることが必要であることが明かになった。この要求に応えるために、グラフベースの知識エディタを開発した。以下、知識エディタについて説明する。
  • The Acquisition Method in a Prototyping System for Dialog Specifications with Acquisition from Examples, Matsuzawa Tadayuki, Suzuki Hirofumi, Machida Kazuhiro, Tsuchida Kensei, Sakata Masahiro, 全国大会講演論文集, 39, (2) 1517 - 1518,   1989 10 16 , ユーザインタフェース仕様獲得において、仕様表現が何らかの対話モデル([Green],[Hartson],[Myers])に基づいていると、次のような利点がある:(1)表現能力の形式的限界が明確になる。(2)モデルが目的とするユーザインタフェースにとって自然であれば、意図した仕様を容易に表現できる。(3)(獲得された)仕様の妥当性をモデルに基づいて検証できる。(4)モデルに基づいて必要な対話処理を予測したり、不適切な対話を抑制することができる。また、要求者とユーザインタフェース開発者との間に交換される情報や、それぞれが持つ知識にも注目する必要がある。利用者(要求者)は、例を通じて要求仕様を提示する場合が多い。検証のために開発者から要求者へ示される情報も、画面イメージなど例である場合が多い。従って、ユーザインタフェース仕様獲得を(半)自動化する方法として以下の様なものが考えられる:要求者からユーザインタフェースの例示を受け、その妥当性を判定し、それから一般的な仕様を推論して、その結果を再び例示により要求者に検証させる。この場合、ユーザインタフェースモデルは、妥当性の判定や一般化において重要な役割を果たすことができる。本論文では、ユーザインタフェースモデルに基づいた例示によるユーザインタフェース仕様獲得の方法について論ずる。以下、ユーザインタフェース仕様の獲得のために利用した対話モデルを説明し、そのモデルに基づいた、例示と一般化による仕様獲得法を説明する。将来の拡張方向と本手法の問題点とについても触れる。
  • A Prototyping System for Dialog Specifications with Acquisition from Examples, Tsuchida Kensei, Sakata Masahiro, Matsuzawa Tadayuki, Suzuki Hiro-Fumi, Machida Kazuhiro, 全国大会講演論文集, 39, (2) 1515 - 1516,   1989 10 16 , 我々は仕様定義者との対話によりソフトウェアの仕様を厳密化するための基本メカニズムの研究を行っている。ソフトウェア開発においては、仕様定義者(ユーザ)と開発者とが例示による対話を通じて仕様の厳密化を行うことが多い。開発者は、例により提示された要求からユーザの意図を理解しプログラムを作成する。ユーザは作成されたプログラムを確認し、仕様の変更や追加を行う。これらのことを繰り返し、次第に仕様を厳密化していく。このようなメカニズムの有効性と実現可能性の検証を目的として仕様獲得実験システム(Knit-Mate)を試作した。本システムは、対象をエキスパートシステムのユーザインタフェースとして、ユーザからの例示により仕様を獲得する。本稿では、仕様獲得実験システムの概要について報告する。
  • Knowledge Representation for Software Debug Expert System, Tsuchida Kensei, Imai Keiichi, Akao Yukari Cecilia, 全国大会講演論文集, 38, (1) 555 - 556,   1989 03 15 , デバッグエキスパートシステム(DBES)は交換系ソフトウェアの試験工程における障害やエラーに対して診断、デバッグをユーザと対話的に進めていくシステムである。我々は、DBESの開発を通じ、DBESで扱う交換系ソフトウェアのデバッグの知識に関する知識表現モデルを専門家との共同のもとに構築した。このモデルは、専門家の知識の整理方法及び整理された知識に対する利用法を示すものである。さらに、開発者と専門家との会話において共通の言葉の役割も果たす。以下では、この知識表現モデルについて説明する。
  • Software Debug Expert System, Akao Yukari Cecilia, Imai Keiichi, Tsuchida Kensei, 全国大会講演論文集, 38, (1) 553 - 554,   1989 03 15 , デバッグエキスパートシステム(DBES)は交換系ソフトウェアの試験工程における障害やエラーに対する診断、デバッグを目的とする。本システムは、試験者の自然な思考過程を反映し、さらに知識提供者とシステム利用者の双方の要求を満たすものとするため、専門家と利用者との協力のもとで開発が進められた。デバッグ特有の作業過程を反映するために、DBESでは、初期情報、付加情報、不確定情報等の概念を導入した。また、知識を木で表示したり、推論に使われる事実内容を場合に応じてユーザが変更できる等の機能を備えている。本稿では、DBESの特徴について、新たに導入した概念やDBESのもつ機能を中心に説明する。
  • Finding Facts vs. Browsing Knowledge in Hypertext Systems, 土田 賢省, IPSJ Magazine, 29, (6) 630 - 631,   1988 06 15

Research Grants & Projects

  • Automatic Behavioral Discrimination for Creation Processes in Sand Therapy by using Graph Grammars, Ministry of Education, Culture, Sports, Science and Technology, Grants-in-Aid for Scientific Research(挑戦的萌芽研究), Chieko KATO, This study was conducted in order to achieve a more objective interpretation in sandplay therapy. For an objective index, we employed behavior analysis in the process of creating a sandtray and checking the head movement. Software analyzed the subject’s behavior, especially head movement. As a result, our behavior analysis reveals the possibility of supplementing an objective interpretation.