関数型プログラムの限界を越える安全なポインタを持つ再帰データ型の理論

• 研究課題/領域番号: 19700006
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 情報学基礎
• 研究機関: 群馬大学
• 研究代表者: 浜名 誠 群馬大学, 大学院・工学研究科, 助教 (90334135)
• 研究期間 (年度): 2007 – 2009
• 研究課題ステータス: 完了 (2009年度)
• 配分額: 2,290千円 (直接経費: 1,900千円、間接経費: 390千円); 2009年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2008年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2007年度: 600千円 (直接経費: 600千円)
• キーワード: 関数型プログラミング言語 / 項書換え・データ構造・情報基礎 / 関数プログラム / 項書換え / 情報基礎 / データ構造 / 項書替え

研究概要

コンピュータ上での効率のよい計算に頻出する、サイクルと共有の構造を持つデータ構造を数理的構造を持つデータ型、すなわち再起データ型で表現する手法を探求し、関数型プログラミング技術への応用を行った。

研究成果

• [雑誌論文] Semantic Labelling for Proving Termination of Combinatory Reduction Systems, In Proc. of 18th International Workshop on Functional and (Constraint) Logic Programming, Lecture Notes in Computer Science (2010)
  • 著者名/発表者名: M. Hamana.
  • 雑誌名: Springer-Verlag 5979 ページ: 62-78
  • 査読あり
• [雑誌論文] Semantic Labelling for Proving termination of Combinatory Reduction Systems (2010)
  • 著者名/発表者名: M.Hamana
  • 雑誌名: Functional and(Constraint)Logic Programming(WELP 2009) LNCS 5979 ページ: 62-78
  • 査読あり
• [雑誌論文] Initial Algebra Semantics for Cyclic Sharing Tree Structures (2010)
  • 著者名/発表者名: M.Hamana
  • 雑誌名: Logical Methods in Computer Science (掲載決定)
  • 査読あり
• [雑誌論文] Initial Algebra Semantics for Cyclic Sharing Structures, Typed Lambda Calculi and Applications, Lecture Notes in Computer Science (2009)
  • 著者名/発表者名: M. Hamana.
  • 雑誌名: Springer-Verlag 5608 ページ: 127-141
  • 査読あり
• [雑誌論文] 補関数の生成による複製機能付きプログラムの自動双方向化 (2009)
  • 著者名/発表者名: 松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
  • 雑誌名: コンピュータソフトウェア Vol.26,No.2 ページ: 56-75
  • NAID: 10025982390
  • 査読あり
• [雑誌論文] Initial Algebra Semantics for Cyclic Sharing Structures (2009)
  • 著者名/発表者名: M.Hamana
  • 雑誌名: Typed Lambda Calculi and Applications(TLCA 2009) LNCS 5608 ページ: 127-141
  • 査読あり
• [雑誌論文] Higher-Order Semantic Labelling for Inductive Datatype Systems. In Proc. of Ninth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (2007)
  • 著者名/発表者名: M. Hamana.
  • 雑誌名: ACM Press ページ: 97-108
  • 査読あり
• [雑誌論文] Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions, In Proc. of 12th ACM SIGPLAN International Conference on Functional Programming (2007)
  • 著者名/発表者名: K. Matsuda, Z. Hu, K. Nakano, M. Hamana, M. Takeichi.
  • 雑誌名: ACM Press ページ: 47-58
  • 査読あり
• [雑誌論文] Higher-Order Semantic Labelling for Inductive Datatype Systems (2007)
  • 著者名/発表者名: M. Hamana
  • 雑誌名: Ninth ACM SIGPLAN International Confe rence on Principles and Practice of Declar ative Programming ページ: 97-108
  • 査読あり
• [雑誌論文] Bidirectionalization Transformation based on Automatic Deriv ation of View Complement Functions (2007)
  • 著者名/発表者名: Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
  • 雑誌名: 12th ACM SIGPLAN International Conference on Functional Programming ページ: 47-58
  • 査読あり
• [雑誌論文] Initial Algebra Semantics for Cyclic Sharing Tree Structures.
  • 著者名/発表者名: M. Hamana.
  • 雑誌名: Logical Methods in Computer Science (掲載決定)
  • 査読あり
• [学会発表] Inductive Cyclic Sharing Data Structures, 相互作用の幾何 (2009)
  • 著者名/発表者名: 浜名誠
  • 学会等名: トレース付きモノイダル圏と非明示的計算量研究会
  • 発表場所: 京都大学
  • 年月日: 2009-08-25
• [学会発表] Initial Algebra Semantics for Cyclic Sharing Structures (2009)
  • 著者名/発表者名: M.Hamana
  • 学会等名: 相互作用の幾何、トレース付きモノイダル圏と非明示的計算量
  • 発表場所: 京都大学
  • 年月日: 2009-08-25
• [学会発表] Initial Algebra Semantics for Cyclic Sharing Structures (2009)
  • 著者名/発表者名: 浜名誠
  • 発表場所: Typed Lambda Calculi and Applications
  • 年月日: 2009-07-03
• [学会発表] Initial Algebra Semantics for Cyclic Sharing Structures (2009)
  • 著者名/発表者名: M.Hamana
  • 学会等名: Ninth International Conference on Typed Lambda Calculi and Applications
  • 発表場所: ブラジル ブラジリア大学
  • 年月日: 2009-07-03
• [学会発表] Semantic Labelling for Proving Termination of Combinatory Reduction Systems (2009)
  • 著者名/発表者名: 浜名誠
  • 学会等名: 18th International Workshop on Functional and (Constraint) Logic
  • 発表場所: Programming
  • 年月日: 2009-06-28
• [学会発表] Semantic Labelling for Proving Termination of Combinatory Reduction Systems (2009)
  • 著者名/発表者名: M.Hamana
  • 学会等名: 18th International Workshop on Functional and(Constraint)Logic Programming
  • 発表場所: ブラジル ブラジリア大学
  • 年月日: 2009-06-28
• [学会発表] Inductive Cyclic Data Structures (2009)
  • 著者名/発表者名: 浜名誠
  • 学会等名: The Estonian Theory Days
  • 発表場所: Kaariku Leisure and Sports Center, Estonia
  • 年月日: 2009-02-01
• [学会発表] Inductive Cyclic Sharing Data Structures (2008)
  • 著者名/発表者名: 浜名誠
  • 学会等名: Workshop on Mathematics for Pressing Problems in Computer Science
  • 発表場所: 京都大学
  • 年月日: 2008-06-30
• [学会発表] Induetive Cychc Shamig Data Stnlctures (2008)
  • 著者名/発表者名: 浜名誠
  • 学会等名: 計算機にまつわる喫緊の問題を解決するための数学的手法
  • 発表場所: 京都大学数理解析研究所
  • 年月日: 2008-06-30
• [学会発表] Term Syntax for Cyclic Sharing Structures (2008)
  • 著者名/発表者名: 浜名誠
  • 学会等名: 29th TRS meeting
  • 発表場所: 東京大学
  • 年月日: 2008-02-28
• [学会発表] Representing a Cyclic Sharing Structure as a GADT (2007)
  • 著者名/発表者名: 浜名誠
  • 学会等名: IPL seminar
  • 発表場所: 東京大学
  • 年月日: 2007-10-30
• [学会発表] What is the Category for Haskell? (2007)
  • 著者名/発表者名: 浜名誠
  • 学会等名: CAPS, IPL
  • 発表場所: 東京大学
  • 年月日: 2007-10-23
• [学会発表] Higher-Order Semantic Labelling for Inductive Datatype Systems. (2007)
  • 著者名/発表者名: 浜名誠
  • 学会等名: Ninth ACM SIGPLAN International Conference on Principles and Practice of Declarative
  • 発表場所: Programming
  • 年月日: 2007-07-14
• [学会発表] Higher-Order Semantic Labelling for Inductive Datatype Systems (2007)
  • 著者名/発表者名: M. Hamana
  • 学会等名: Ninth ACM SIGPLAN International Conference on Principles and Practice of Declar ative Programming
  • 発表場所: ポーランド ブロツワフ大学
  • 年月日: 2007-07-14
• [備考]
  • URL: http://www.cs.gunma-u.ac.jp/~hamana/
• [備考]
  • URL: http://www.cs.gunma-u.ac.jp/~hamana/
• [備考]
  • URL: http://www.cs.gunma-u.ac.jp/~hamana/
• [備考]
  • URL: http://www.cs.gunma-u.ac.jp/~hamana/