プログラム論理研究室の対外発表論文

学生の対外発表

教員のみの(研究室の学生と共著でない)発表論文については、教員のページを御覧ください。

[発表・論文] "Call-by-Name CPS Hierarchy", Asami Tanaka, Yukiyoshi Kameyama, FLOPS 2012, to appear.
[論文] "Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras", Jefferson O. Andrade, Yukiyoshi Kameyama, Special Section on Formal Approach, IEICE Transactions on Information and Systems, to appear.

[発表] "Efficient Algorithms for Analyzing Verification Errors", Jin-gyeong Kim, Yukiyoshi Kameyama 日本ソフトウェア科学会ディペンダブルシステムワークショップ＆シンポジウム, 京都工芸繊維大学, 2011年 12月 14日.
[発表・論文] "Polymorphic Multi-Stage Language with Control Effects", Yuichiro Kokaji, Yukiyoshi Kameyama, Proc. Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011), Kenting, Taiwan, pp. 105-120, Dec. 2011.
[発表] "コントロールオペレータを持つ必要呼び計算体系の設計", 西山達也, 亀山幸義, 情報処理学会プログラミング研究会, 横浜, 2011年 11月 2日.
[発表] "Visualizing Continuations", Naoki Takashima, Tatsuya Nishiyama, Yukiyoshi Kameyama, ACM SIGPLAN Continuation Workshop, Tokyo, Japan, Sep. 2011. (short talk)
[発表] "限定継続を持つ並列言語モデルの設計と実装", 田中麻峰, 亀山幸義, 並列/分散/協調処理に関するサマーワークショップ (SWoPP), 鹿児島, 2011年 7月 29日.
[発表] "コントロールオペレータの表現力の比較", 高島尚希, 亀山幸義, 情報処理学会プログラミング研究会, 函館, 2011年 6月 14日.

[発表] 小鍛治雄一郎，亀山幸義， "エフェクトを持つマルチステージ計算体系の型推論", Proc. JSSST Workshop on Programming and Programming Languages (PPL 2011), Sapporo, Japan, pp. 258-272, 2011.
[論文] "Equational Axiomatization of Call-by-Name Delimited Control", Yukiyoshi Kameyama and Asami Tanaka, Proc. 12th ACM SIGPLAN Symposium on Principles and Practics of Declarative Programming (PPDP 2010), to appear.
[論文] "Improving Error Messages in Type System", Cynthia Kustanto, Yukiyoshi Kameyama, 情報処理学会論文誌: プログラミング、 Vol. 3, No. 4, pp. 43--56, Sep. 2010.

[論文] "コード実行機能と計算エフェクトを持つ型付きマルチステージ言語", 杉浦啓介, 亀山幸義コンピュータソフトウェア, 採録決定 (掲載: Vol. 28, No. 1, pp. 217--229, 2011).
[発表] "Improving Error Message in Type System", Cynthia Kustanto, Yukiyoshi Kameyama, 情報処理学会プログラミング研究会, 電気通信大学, 2010年3月16日.
[発表] "限定継続に基づくスケーラブルなウェブアプリケーション構築手法", 田中麻峰, 亀山幸義, 電子情報通信学会ソフトウェアサイエンス研究会, 鹿児島大学, 2010年 3月 8日.
[ポスター] "複数のプロンプトをもつ限定継続機構に対するCPS変換", 高島尚希, 亀山幸義, プログラミングおよびプログラミング言語ワークショップ (PPL 2010), 香川県琴平, 2010年 3月 3-5日．
[発表] "コード実行機能と計算エフェクトを持つ型付きマルチステージ言語", 杉浦啓介, 亀山幸義日本ソフトウェア科学会第26回大会, 島根大学, 2009年9月18日.

[論文・発表] "A Direct Algorithm for Multi-Valued Bounded Model Checking", Jefferson O. Andrade, Yukiyoshi Kameyama, Proc. International Symposium on Automated Technology for Verification and Analysis (ATVA 2008), Lecture Notes in Computer Science 5311, pp. 80-94, Oct. 2008.
[発表] "Improving Multi-Valued Bounded Model Checking", Jefferson O. Andrade, Yukiyoshi Kameyama, 日本ソフトウェア科学会第25回大会, 筑波大学, 2008年9月12日.
[論文・発表] "Typed Dynamic Control Operators for Delimited Continuations", Yukiyoshi Kameyama and Takuo Yonezawa, Proc. Int'l Symp. on Functional and Logic Programming (FLOPS'08), Lecture Notes in Computer Science 4989, pp. 239-254, 2008.
[論文] "A Type System for Dynamic Delimited Continuations", Takuo Yonezawa and Yukiyoshi Kameyama, 情報処理学会論文誌：プログラミング, Vol. 49, No. SIG 3 (PRO 36), pp. 28-38, 2008. (IPSJ Digital Courier, Vol. 4, pp. 182-192, Mar. 2008 にも掲載).

[発表] 「マルチステージプログラミングのための計算体系の実装」、杉浦啓介、亀山幸義、情報処理学会全国大会 (Mar. 2008)
[論文・発表] "An Algorithm for Bounded Multi-Valued Model Checking", Jefferson O. Andrade and Yukiyoshi Kameyama, システム検証の科学技術シンポジウム講演論文集 pp. 22-31, (Jan. 2008)
[発表] "An Algorithm for Bounded Multi-Valued Model Checking", Jefferson O. Andrade and Yukiyoshi Kameyama, システム検証の科学技術シンポジウム (Nov. 2007)
[発表] "A Type System for Dynamic Delimited Continuations", Takuo Yonezawa and Yukiyoshi Kameyama, 情報処理学会プログラミング研究会 (Oct. 2007)
[発表] "Multi-Valued Model Checking using SAT Solvers", Jefferson O. Andrade and Yukiyoshi Kameyama, 日本ソフトウェア科学会大会 3D-2 (8 pages) (Sep. 2007)
[論文] 「階層化コントロールオペレータに対する型システムの構築」、鈴木輝信、亀山幸義、情報処理学会論文誌：プログラミング, Vol. 48, No. 10, pp. 138-150, 2007.

[発表] 「多値モデル検査を用いたモデル化の誤りの発見」、辰巳淳朗、亀山幸義、情報処理学会プログラミング研究会、Jan. 2006. [情報処理学会コンピュータサイエンス領域奨励賞を受賞]
[発表] Yukiyoshi Kameyama, Hiroyuki Yoshihara, "Formalizing Equational Correspondence Proof for CPS Transformation based on Logical Framework", Type Theory Workshop, National Institute of Informatics, Jan. 2006.
[発表] Yukiyoshi Kameyama, Hiroyuki Yoshihara, "Metatheorem Proving in Twelf an its Semantics", TPP meeting (Theorem Proving and Provers), JAIST, Nov. 2005.
[発表] 吉原宏之、亀山幸義、「プログラムに対する変換の正しさの形式検証」,日本ソフトウェア科学会大会、Sep. 2005.

[論文] 中島一、亀山幸義、「抽象化と精密化による実時間モデル検査の改善」、情報処理学会論文誌：プログラミング, Vol. 45 No. SIG12 (PRO23), pp. 11-24, 2004.

このページの管理者: ｗｗｗのあとにｌｏｇｉｃ．ｃｓ．ｔｓｕｋｕｂａ．ａｃ．ｊｐ