年次別業績一覧

2009.1.23現在 


 

年次別業績一覧

1973

  •  不確定セルオ－トマタに対する並列写像の全射性について，京都大学数理解析研究所講究録　１７９（１９７３），１２７－１４０．

1974

  • 不確定セルオ－トマタによる不確定並列写像の逆写像と単射性について，京都大学数理解析研究所講究録　２１３（１９７４），２２０－２２６．

1975

1976

  • フロ－グラフの分岐数について，京都大学数理解析研究所講究録２５９　 （１９７６），１５８－１６４．

1977

  • オ－トマトンとアルゴリズム，  Ｃ＆Ａ　（Computation and Analysis）　セミナ－会報　１（１９７７）．

1978

  • （共同執筆）”理工系の基礎数学”，東海大学出版会，1978，361ｐ．

  • ICM 78

  • 二木厚吉氏と共著, フロ－チャ－トの木構造型記法, 電子通信学会オ－トマトンと言語研究会資料集ＡＬ－７８，６１－６６, １９７８。

1979

  • ある種のグラフの極大マッチングを与える線形時間アルゴリズム，京都大学数理解析研究所講究録　３５３（１９７９），６８－７７．
  • （二木厚吉氏と共著）木フロ－チャ－トとその計算図式について，電子通信学会講演論文集，１９７９．
  • （二木厚吉氏，　足立暁生氏と共著）　木フロ－チャ－トとプログラムテキストの導出木について，情報処理学会第２０回全国大会講演論文集１９７９，２８１－２８２．

1980

  • （二木厚吉氏，足立暁生氏と共著）　流れ木による手続きとデ－タ型の記述，情報処理学会ソフトウェア工学研究会資料集１６　（１９８０），１－１６．
  • （吉田洋一氏，田中恵子氏と共著），ＬＩＳＰインタ－プリタ，東海大学電子計算機室広報　８（１９８０），７－８．１１．
  • （二木厚吉氏，足立暁生氏と共著）An extended iteration statement and its computability,　京都大学数理解析研究所講究録  ３８１ （１９８０），１８０－１９４．
  • （共著）”ＷＥＳＴＲＡＮ使用解説書”，東海大学電子計算センタ－，１９８０，１６　ｐｐ．

1981

  • （大沢優氏，高橋英一郎氏と共著）　制限された再帰呼出しの実現，情報処理学会第２３回全国大会講演論文集　（１９８１），　１６９－１７０．
  • （上原実氏，吉田希代子氏と共著）　事務計算の流れ木による構造的表現，情報処理学会第２３回全国大会講演論文集　（１９８１），４０３－４０４．
  • （久保田美明氏と共著）　ＬＩＳＰシステムの作成，東海大学電子計算機室広報　９（１９８１），１８－２０．

1982


1983

  • Takeo Yaku, Partition of graphs into chains of minimum block number, Proc. Facul. Sci. Tokai Univ., 1983, 18, 41-44

  • Takeo Yaku, A control structure between iteration and recursion, Proc. Facul. Sci. Tokai. Univ. 1983, 18, 119-129

  • （郷信義氏，岡田直之氏，長田芳一氏，岸本美紀氏，高橋美智子氏と共著）  木フロ－チャ－ト記述言語ＨＩＣＨＡＲＴの処理系実現について，情報処理学会講演論文集　（１９８３）．

1984

  • （二木厚吉氏，足立暁生氏と共著）　階層的フロ－チャ－ト記述言語ＨＩＣＨＡＲＴによるプログラムの記述，”計算機科学の基礎理論”報告書 （１９８４），４８４－４９４，昭和５８年度文部省科学研究費補助金による研究組織．
  • （大川知氏と共著）階層的フロ－チャ－ト言語ＨＩＣＨＡＲＴのグラフ文法上の性質，情報処理学会講演論文集（１９８４）．
  • （川畑守氏，杉田公生氏，植村憲治氏，郷信義氏と共著）ＨＩＣＨＡＲＴを用いた教育用プログラムデ－タベ－スシステムＨ／ＢＡＳＥ，ＣＡＩ学会第９回研究発表大会論文（１９８４），１４３－１４６．

1985

  • （共同執筆）　”マイクロコンピュ－タハンドブック”，　オ－ム社，１９８５，１０７９ｐ．

  • Takeo Yaku, Wiring a Turing machine in the cellular automation and the subjectivity problem for a parallel map, Proc. Facul. Sci. Tokai. Univ., 1985, 20, 51-72 

  • 共著、 Complexity of substitutive programs, 京都大学数理解析研究所講究録５５６ (1985)，３１９－３２６．
  • 共著, Complexity of path covering problems in  acyclic alternate graphs, 京都大学数理解析研究所講究録５５６ (1985)，２４０－２４９．
  • （共著) Hichart-Pascal　トランスレ－タ，情報処理学会第３０回全国大会講演論文集，１９８５．
  •  （共著）Hichart　エデイタ，同上　，１９８５　．
1986

  • 階層型流れ図言語Hichartの情報処理記号、早稲田大学情報科学研究教育センター紀要、1986 3、92-107

  • 共著　Complexity of path covering probems in acyclic alternate graphs II、京都大学数理解析研究所講究録５９１、１２－２４, 1986．

1987

  • （共同執筆）”構造エデイタ”，共立出版，１９８７，　１９８ｐ．

  • (with K. Futatsugi, E. Moriya and A. Adachi)HICHART - A hierarchical flowchart description language -, Proc. IEEE 11th Comput. Software and its Appl. Conf. (COMPSAC'87) 11 (1987), 157 - 163, (INSPECC 3096363).

  • (with K. Futatsugi and A. Adachi) Complexity of substitutive programs, "Topology and Computer Science" (S. Suzuki Ed.), 451-472, Kinokuniya, 1987.

  • （二木厚吉氏他と共著） Ｈｉｃｈａｒｔとプログラム開発環境ＥＴＡ＿ＡＩＤＥ，”構造エデイタ”（原田賢一編），１６５－１８２、共立出版，１９８７，（日本ソフトウェア科学会構造エディタワークショップ講究録）． 

  • （大川知氏と共著） ＨＩＣＨＡＲＴのグラフ文法的な定義とその認識時間について, 八戸工業大学紀要６( １９８７)，６２ー７１.　　　
  • （共著）ＨＩＣＨＡＲＴを用いた教育用プログラムデ－タベ－スシステム Ｈ／ＢＡＳＥ　ＩＩ，ＣＡＩ学会第１２回研究発表大会論文集 （１９８７），２５３－２５６．
  •  （共著）ＨＩＣＨＡＲＴを用いたプログラム教育環境，ＣＡＩ学会第１２回研究発表大会論文集、１９８７．
  •  （共著）ETA87-An extension of the Hichart processing system,  情報処理学会第３５回全国大会講演論文集（１９８７），１２０１ー１２０２．

1988

  • 代入構造及びその再帰構造と繰り返し構造への関係，（英文：The complexity of substitutive programs）,  電子情報通信学会コンピュテーション研究会資料 COMP87-80, 1 - 8, 1988.
  • （共著）Ｈｉｃｈａｒｔ流れ図の描画アルゴリズム、 日本ソフトウェア科学会第５回大会論文集（１９８８），１８１－１８４．

1989

  • 夜久竹夫, 近谷英昭, 西野哲朗, 宮寺庸造, 足立暁生: プログラム開発教育支援のための視覚的プログラミングの研究, 東京電機大学総合研究所, No.9, pp.123-126, 1989.

  • （共著）木構造図式の美的描画について、京都大学数理解析研究所講究録６９５、１９８９．
  • （共著）有向グラフのパスカバー問題の並行計算量について、京都大学数理解析研究所講究録、１９８９．

1990

  • （郷信義氏他）Ｈｉｃｈａｒｔプログラム図式の生成方法，情報処理学会論文誌３１ （１９９０），1463 – 1473． 

  • （共著）交互部分グラフとパス被覆問題について、電子情報通信学会コンピュテーション研究会資料ＣＯＭＰ９０（１９９０）．
  • （共著）Ｈｉｃｈａｒｔを用いた教育用プログラムデータベースシステム：Ｈ／ＢＡＳＥ（３）、ＣＡＩ学会第１５回研究発表大会論文集（１９９０）, ２９２ー２９５．
  • （共著）グラフ文法とそのＣＡＩシステムへの応用，同上，１１７ー１２０．

1991

  • （共著）ＢＮＬＣ言語に対するポンプの補題，電子情報通信学会コンピュテーション研究会資料ＣＯＭＰ90-89（１９９１年２月）, ４１－４７．
  • （共著）境界つきＢＮＬＣグラフ文法に対する標準形，電子情報通信学会コンピュテーション研究会資料ＣＯＭＰ９１－３５（１９９１年７月）, ３９－４３．
  • (with N.Go et al), Generation of the Hichart program diagrams,  J. Inform. Process., Res. Rep. Dept. Inform. Sci. Tokyo Denki Univ.TDU-IS-21, 1991.
  • （共著）Partition of Path Covers of the Digraphs to the Alternate Subgraphs, Res. Rep. Dept. Inform. Sci. Tokyo Denki Univ. TDU-IS-22, 1991.
  • Solving Path Covering Problems for the Digraphs with the Alternate Subgraphs, Res. Rep. Dept. Inform. Sci. Tokyo Denki Univ. TDU-IS-23, 1991. 

1992

  • N. Go, T. Yaku et. al., Generation of the Hichart program diagrams, J. Inform. Proc. 15 (1992), 293 - 300.

  • （杉田公生他）プログラム図式を用いたプログラム教育開発環境，電子情報通信学会論文誌 Ｊ７５－Ａ（１９９２），４３１－４４０． 

  • 海野浩、夜久竹夫他、木構造図式の描画問題、情報処理学会論文誌３３ （１９９２）、８７９ー８８６．

  • 植村憲治、山神憲司、夜久竹夫、有向グラフのパス被覆問題に対する線形時間アルゴリズム、 電子情報通信学会論文誌 Ｊ７５－ＤＩ （１９９２）、８９２－８９９．

  • 夜久竹夫, 近谷英昭, 西野哲朗, 宮寺庸造, 足立暁生: プログラム図式とプログラム仕様書の統合的処理系の研究, 東京電機大学総合研究所, No.11, pp.123-126, 1992.

  • （共著）木構造図式の描画問題，情報処理学会アルゴリズム研究会技術報告 （１９９２）．
  • （共著）プログラム図式とプログラム仕様書の統合的処理系の研究，東京電機大学総合研究所年報１１（１９９２），１２３ー１２６．
  • （共著）プログラムデータベース，私立大学情報処理教育協議会報（１９９２）．
  • （共著）境界付きＮＬＣグラフ文法の生成能力について，言語理論とオートマトン理論報告（１９９２），予定
  • （共著）The problem of normal form for unlabeled boundary NLC graph languages, 京都大学数理解析研究所講究録７９６（１９９２）, ８４－９２

1993

  • 共著, プログラム図式とプログラム仕様書の統合的処理系, 第１１回ソフトウェアシンポジウム講究録(１９９３), ７２ー７７．

1994

  • （共同執筆）”情報リテラシー”，１９９４，共立出版．

  • Y. Miyadera, K. Tsuchida, T. Yaku et. al., A tidy drawing problem on the minimum area for tree-structured diagrams and its application to program diagrams, IFIP Transac A51 (1994), 282 - 287 (Proc. IFIP 94 Congress (1994), Hamburg, Germany).

  • K. Yamagami, K. Uemura and T. Yaku, Parallel complexity of path cover problem for acyclic directed graphs, Systems and Computers in Japan 25 (1994), 23 - 32. （同名（１９９３）の和文論文の翻訳）

1995

  • Y. Adachi,Y. Miyadera, K. Sugita, K. Tsuchida, H. Unno and T. Yaku, A visual programming environment based on Hichart program diagrams, LNCS 894 (1995), 463.

  • （共同作成）日本工業規格　木構造図用データ交換言語ＤＸＬ - JIS X 130、日本規格協会

  • K. Tsuchida, A. Adachi, Y. Miyadera and T. Yaku, Constrants and algorithms for drawing tree-structured diagrams, Proc. Internat. Workshop on Constrants on Graphics & Visualization (GGV '95), 97 - 101, Monash Univ.

1996

1997

  • Anzai, K.   Adachi, Y.   Kobayashi, S.   Tsuchida, K., Block diagram generation and parsing based on graph grammar, Proceedings of 1997 IEEE International Symposium onCircuits and Systems, ( ISCAS '97), Vol. 3, 1760-1763, 1997.

  • Adachi, Y., Miyadera, Y., Sugita, K., Tsuchida, K., and Yaku, T.: Advanced Software Mechanisms for Computer-Aided Instruction in Information Literacy, APEC Conference on Information Literacy '97, p.8_4, 1997. 

  • K. Tsuchida, Y. Adachi, T. Imaki and T. Yaku, Tree drawing using constraint logic programming, Logic Programming - International Conf (ICLP) 14, 414, 1997.

  • Y. Adachi, T. Yaku et. al., Tree-structured diagram drawing system using CLP, Proc. 8th Workshop on Logic Programming Environment , (1997), 69 - 78 （ WLPE97 Belgium 招待講演の原稿）.

  • Y. Miyadera, T. Yaku et. al., An expression method for circulation of tree-structured diagrams, Research Activities 19 (1) (1997), 41 - 59, The Faculty of Science and Engineering, Tokyo Denki University.

  • 宮寺庸蔵、プログラム図によるプログラム言語教育のマルチメディア環境、 教育システム情報学会誌 14 (1997), 2 - 12.

     

1998

  • DXL対応Hichartプログラム図に対する属性グラフ文法、 日本大学文理学部自然科学研究所紀要 ３３ (1998), 149 - 164

  • K. Uemura, K. Sugita and T. Yaku, Induced permutation automata and coverings of strongly connected automata, Discrete Appl. Math. 91, 243 - 249, 1998

  • Y. Miyadera, H. Unno, K. Anzai and T. Yaku, A depth first algorithm for layout of trees, Inform. Proc. Letters 66, 187 - 194, 1998

  • A. Adachi, T. Tsuchida and T. Yaku, Program visualization using attribute graph grammars, CD-ROM Book, IFIP World Computer Congress 98, 1998.

  • K. Sugita, A. Adachi, Y. Miyadera, K. Tsuchida and T. Yaku, A visual programming environment based on graph grammars and tidy graph drawing, Proc. Internat. Conf. Software Engin. (ICSE98) 20-II, 74 - 79, 1998

1999
  • Y. Miyadera, A. Tsuchiya, K. Tsuchida, T. Yaku and H. Konya, A program module diagram generetor based on a tidy drawing problem of trees, Frontiers in Artificial Intelligence and Applications 55, 816 - 823, 1999.

  • Y. Adachi, S. Kobayashi, K. Tsuchida and T. Yaku, An attribute graph grammar for signal flow graphs, Proc. IEEE Internat. Conf. Control Appl. (CCA99), 1549 - 1554 vol. 2 .

  • S. Kobayashi, Y. Adachi, K. Tsuchida and T. Yaku, Attribute block diagram grammar and its application, Proc IFAC World Congress ’99, 427 - 432, 1999.

  • Y. Adachi K. Tsuchida, T. Imai and T. Yaku, Logichart program diagram for prolog and its processing system, Proc. Internat. Workshop on Logic Prog. Env. 50 - 64, 1999.

  • Miyadera, Y., Tsuchiya, A., Tsuchida, K., Yaku, T. and Konya, H.: A Program Module Diagram Generator Based on a Tidy Drawing Problem of Trees, Proc. 7th International Conference on Computers in Education (ICCE), Vol.1, pp.816-823 1999.

2000

  • 安達由洋、小林優、土田賢省，夜久竹夫、ブロック線図文法、電子情報通信学会論文誌 J83-D-I，45－54，２０００．7.

  • Y. ADACHI, K. TSUCHIDA, T. IMAKI, T. YAKU, “Logichart : Intelligible Program Diagram for Prolog and Its Processing system”, Electronic Notes in Theoretical Computer Science, Vol. 30,Issue4, Elsevier Science, 2000

  • K. Sugita, Y. Miyadera, K. Tsuchida and T. Yaku, Integrated visualization based environment for computer science education, Proc. 16th IFIP World Computer congress - Internat. Conf. Education Use of Inf. & Comm. Technology (ICEUT2000), 225 - 229, 2000.

  • T. Arita, K. Tomiyama, T. Yaku, Y. Miyadera, K. Sugita and K. Tsuchida, Syntactic processing of diagrams by graph grammars, Proc. 16th IFIP World Computer Congress -  Internat. Conf. Software (ICS2000), 145 - 151, 2000.

2001

  • T. Arita, K. Tomiyama, K. Tsuchida and T. Yaku, Application of attribute NCE graph grammars to syntactic editing of tabular forms, Electronic Notes in Theoretical Computer Science 50, Issue3, Elsevier Science, 2001

  • T. Arita, K. Sugita, K. Tsuchida and T. Yaku, Attribute precedence graph grammars for tabular forms, Proc. IASTED Sympos, Applied Informatics 2001.

  • Miyadera, Y., Taji, A. and Yaku, T.: Methods of Visualizing Paper-Relation-Diagrams Based on the Viewpoints of Users, Proc. International Conference on Human-Computer Interaction (HCI International 2001), pp.775-779, 2001.

2002

  • （共同執筆）岡本敏雄編、”情報科教育のための指導法と展開例”，２００２，実教出版．

  • （共同執筆）岡本敏雄編、”情報科教育法 ”，２００２，丸善、２４２ｐ．

  • T. Motohashi, K. Tsuchida and T. Yaku, Attribute Graphs for Tables and Their Algorithms, Proceedings of Foundation of Software Engineering 2002, K. Inoue ed. ,Kindaikagakusha, 2002, 183-186.

  • T. Motohashi, K. Tsuchida and T. Yaku Table Processing based on Attribute Graphs, Proc. 6th IASTED Internat. Conf. Software Engineering & Appl. (SEA 2002), 2002, 317-322.

2003

  • Tomokazu Arita, Takeo Yaku et. al., Syntax for Tables, Proc. IASTED Internat. Conf. Appl. Informatics (AI 2003), Austria, 2003, 1185-1190

  • Tomoe Motohashi, Takeo Yaku et. al., Algorithms on Attribute Graphs for Tables, Proc. 3rd Hungarian-Japanese Sympos. Discrete Math. & Its Appl., Tokyo, 2003, 171-178.

  • O. Inoue, K. Tsuchida, S. Nakagawa, T. Arita, and T. Yaku, An XML Viewer for Tabular Forms for Use with Mechanical Documentation, Proc. 21st IASTED Intenat. Conf. Applied Informatics (AI2003), 284—1289.

2004

2005

2006

  • Tomokazu Arita, Kensei Tsuchida, Takeo Yaku: Syntactic Characterization of the Two Dimensional Grid Graphs. IEICE Transactions 89-D(2): 771-778 (2006)

  • Yasunori Shiono, Takeo Yaku, et al., XML representation based on octa-grid for table processing, Proc. Internat. Sympos. Advanced ICT (2006), 225 – 232, Tokyo.

  • Goro Akagi, Kouichi Anada, Youzou Miyadera, Miyuki Shimizu, Kensei Tsuchida and Takeo Yaku, WBT contents for geography and geology learning, Proc. 7th IFIP Internat. Working Conf. Inform. Tech. Educational Management (ITEM 2006), "Knowledge Management for Educational Innovation", pp. 83 - 88, Springer Series in Comput. Sci., 2007.

  • Tomokazu ARITA, Kensei TSUCHIDA, Takeo YAKU, Syntactic characterization of two-dimensional grid graphs by a graph grammar, 12th EPSRC Workshop Cellular Automata Theory and Applications (AUTOMATA 2006).

2007

  • Daisuke Yoshino, Satoshi Kishira, Miyuki Shimizu, Kensei Tsuchida, Shin-ya Uehara, Takeo Yaku: Geography Learning Technology Based on 3D CG with Geography Data Archives. Proc. IEEE ICALT 2007: 472-476.

  • Ryusuke Yokoyama, Akira Kureha, Tomoe Motohashi, Hiroyasu Ogasawara, Takeo Yaku, Daisuke Yoshino: Geographical Concept Recognition With the Octgrid Method for Learning Geography and Geology., Proc. IEEE ICALT 2007: 470-471

  • Yuji Kanazawa, Shinobu Miyata, Toshihiro Yoshizumi, Tadaaki Kirishima, Yasunori Shiono, Tomoe Motohashi, Takeo Yaku and Kensei Tsuchida, Parser for Octgrid, Proc. 2007 Internat. Conf. Broadband Network & Multimedia Tech. (IC-BNMT 2007), 238 – 243, 2007, Beijing, China.

  • A. Kureha, S. Kishira, T. Motohashi, K. Tsuchida, and T. Yaku, Hexadecimal Grid Graph Representation of Multilayer
    Rectangular Dissections and its Applications [C-6B], 10th SIAM　Conf. Geometric Desgin & Comput. (GD07) Abstract of Talks, p.20, 2007.

  • 赤木剛朗、有田友和、本橋友江、野牧賢省、土田賢省、夜久竹夫、Ｈ７ＣＯＤＥ：8分格子グラフに基づく3次元地形図のためのファイルフォーマット、日本大学文理学部自然科学研究所研究紀要４２　（２００７）。

2008

  • 宮寺　庸造  中村　勝一  横山　節雄  夜久　竹夫, 研究情報推移グラフによる情報の個人管理・共有手法, 電子情報通信学会論文誌 D Volume J91-D No.3, 639-653

  • K. Sugita, T. Goto, T. Yaku, and K. Tsuchida, An Educational Environment Based on Ontology, Proc. Communicating Mathematics in the Digital Era, 257 – 266, 2008. 
  • Tomokazu Arita, Kensei Tsuchida, and Takeo Yaku, 
    Two-Dimensional Regular Languages and Their Syntactic Characterization, International Journal of Pure and Applied Mathematics, volume 49, No. 2, pp.279--301, 2008. 
    ISSN 1311-8080

2009


その他

1. 岸良智、呉羽彬、鈴木将功、野牧賢志、守屋政平、夜久竹夫、ＣＧで見るシルクロード、地図中心、21－23、2006.


学会講演その他

以上