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

2009 年度 研究成果報告書

• 研究課題/領域番号: 19700006
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 情報学基礎
• 研究機関: 群馬大学
• 研究代表者: 浜名 誠 群馬大学, 大学院・工学研究科, 助教 (90334135)
• 研究期間 (年度): 2007 – 2009
• キーワード: 関数型プログラミング言語 / 項書換え・データ構造・情報基礎

研究概要

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

研究成果

• [雑誌論文] 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
  • 査読あり
• [雑誌論文] 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
  • 査読あり
• [雑誌論文] 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
  • 査読あり
• [雑誌論文] 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)
  • 著者名/発表者名: 浜名誠
  • 発表場所: 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
• [学会発表] Inductive Cyclic Sharing Data Structures (2008)
  • 著者名/発表者名: 浜名誠
  • 学会等名: Workshop on Mathematics for Pressing Problems in Computer Science
  • 発表場所: 京都大学
  • 年月日: 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
• [備考]
  • URL: http://www.cs.gunma-u.ac.jp/~hamana/