亀山幸義の論文リスト(日本語版)

• 小鍛治雄一郎，亀山幸義， "エフェクトを持つマルチステージ計算体系の型推論", Proc. JSSST Workshop on Programming and Programming Languages (PPL 2011), Sapporo, Japan, pp. 258-272, 2011.
• 杉浦啓介，亀山幸義， "コード実行機能と計算エフェクトを持つ型付きマルチステージ言語", コンピュータソフトウェア, Vol. 28, No. 1, pp. 217--229, 2011.
• Cynthia Kustanto and Yukiyoshi Kameyama, "Improving Error Messages in Type System", 情報処理学会論文誌: プログラミング (IPSJ Transactions on Programming), Vol. 3, No. 4, pp. 43--56, Sep. 2010.
• Takuo Yonezawa, Yukiyoshi Kameyama, "A Type System for Dynamic Delimited Continuations", 情報処理学会論文誌: プログラミング (IPSJ Transactions of Programming) Vol. 49, No. SIG 3 (PRO 36), pp. 28-38, 2008. (以下のオンラインジャーナルにも掲載: IPSJ Digital Courier, Vol. 4, pp. 182-192, Mar. 2008.)
• 鈴木輝信、亀山幸義、「階層化コントロールオペレータに対する型システムの 構築」、情報処理学会論文誌: プログラミング Vol. 48, No. SIG 10 (PRO 33), pp. 138-150, 2007.
• 中島一，亀山幸義， 「抽象化と精密化による実時間モデル検査の改善」 情報処理学会論文誌: プログラミング， Vol. 45, No. SIG12 (PRO23), pp. 11-24, 2004.
• Azza A. Taha, Masahiko Sato, Yukiyoshi Kameyama, "A Second Order Context Calculus", コンピュータソフトウェア, Vol. 19, No. 3, pp. 2-19, 2002.
• Azza A. Taha, Masahiko Sato, Yukiyoshi Kameyama, "A Type-Free Context Calculus", 情報処理学会論文誌, 42巻 1号, pp. 38-47, 2001.
• 亀山幸義, 佐藤雅彦， 「自己反映的証明体系RPTの理論と実現」, コンピュータソフトウェア Vol. 12, No. 2, pp. 32-51, 1995.
• 山中淳彦, 佐藤雅彦，亀山幸義, 「Assignment を持つ純関数型言語Λの実現について」, 関数プログラミングII JSSST'94, レクチャーノート/ソフトウェア学 10, 近代科学社, pp. 201-216, 1994.