亀山 幸義(カメヤマ ユキヨシ)
- 論文
- Strong Normalization of Polymorphic Calculus for Delimited Continuations
Yukiyoshi Kameyama; Kenichi Asai
Proc. Symbolic Computation in Software Science, Austria-Japan Workshop/08(08)/p.96-108, 2008-07 - Undecidability of Type-checking in Domain-free Typed Lambda-Calculi with Existence
Koji Nakazawa; Makoto Tatsuta; Yukiyoshi Kameyama; Hirosh...
Proc. Annual Conf. on Computer Science Logic (CSL 2008), Lecture Notes in Computer Science/5213/p.478-492, 2008-09 - A Direct Algorithm for Multi-Valued Bounded Model Checking
Jefferson O. Andrade; Yukiyoshi Kameyama
Proc. International Symp. on Automated Technology for Verification and Analysis (ATVA 2008), Lecture Notes in Computer Science/5311/p.80-94, 2008-10 - Shifting the Stage - Staging with Delimited Control
Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan
Proc. ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation (PEPM'09)/p.111-120, 2009-01 - Equational Axiomatization of Call-by-Name Delimited Control
Yukiyoshi Kameyama; Asami Tanaka
Proceedings of 12th ACM SIGPLAN Symposium on Principles and Practics of Declarative Programming (PPDP 2010)/p.77-86, 2010-07 - コード実行機能と計算エフェクトを持つ型付きマルチステージ言語
杉浦啓介; 亀山幸義
コンピュータソフトウェア/28(1)/p.217-229, 2011-02 - エフェクトを持つマルチステージ計算体系の型推論
小鍛治雄一郎; 亀山幸義
第13回プログラミングおよびプログラミング言語ワークショップ論文集/p.258-272, 2011-03 - Undecidability of Type-checking in Domain-Free Typed Lambda Calculi with Existence
Koji Nakazawa; Makoto Tatsuta; Yukiyoshi Kameyama; Hirosh...
Theoretical Computer Science/412/p.6193-6207, 2011-10 - Shifting the Stage - Staging with Delimited Control
Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan
Journal of Functional Programming/21(6)/p.617-662, 2011-11 - Polymorphic Multi-Stage Language with Control Effects
Yuichiro Kokaji; Yukiyoshi Kameyama
Proc. Asian Symposium on Programming Languages and Systems (APLAS 2011), Lecture Notes in Computer Science/7078/p.105-120, 2011-12 - A Call-by-Name CPS Hierarchy
Asami Tanaka; Yukiyoshi Kameyama
Lecture Notes in Computer Science (Proc. of International Symposium on Functional and Logic Programming)/7294/pp.260-274, 2012-05 - 構成的数学体系RPTに基づく超数学の定理の形式化
亀山 幸義
全国大会講演論文集/42(1)/pp.47-48, 1991-02 - 自己反映的証明体系RPTの理論と実現
亀山 幸義; 佐藤 雅彦
コンピュータソフトウェア/12(2)/pp.122-141, 1995-03 - 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
永山 友和; 佐藤 雅彦; 亀山 幸義
情報処理学会論文誌. プログラミング/42(11)/p.100, 2001-11 - 二階文脈計算(<特集>プログラミング及びプログラミング言語)
Taha Azza A.; 佐藤 雅彦; 亀山 幸義
コンピュータソフトウェア/19(3)/pp.158-175, 2002-05 - Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras
Andrade Jefferson O.; Kameyama Yukiyoshi
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS/E95D(5)/pp.1355-1364, 2012-05 - Shifting the stage Staging with delimited control
Kameyama Yukiyoshi; Kiselyov Oleg; Shan Chung-Chieh
JOURNAL OF FUNCTIONAL PROGRAMMING/21(Part 6)/pp.617-662, 2011-11 - ソフトウェア科学愛好家
亀山 幸義
コンピュータソフトウェア/28(2)/p.70, 2011-04 - Type checking and typability in domain-free lambda calculi
Nakazawa Koji; Tatsuta Makoto; Kameyama Yukiyoshi; Nakano...
THEORETICAL COMPUTER SCIENCE/412(44)/pp.6193-6207, 2011-10 - 限定継続に基づくスケーラブルなウェブアプリケーション構築手法
田中 麻峰; 亀山 幸義
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス/109(456)/pp.163-168, 2010-03 - 抽象化と精密化による実時間モデル検査の改善
中島 一; 亀山 幸義
情報処理学会論文誌. プログラミング/45(12)/pp.11-24, 2004-11 - 自由な時間の使い方
亀山 幸義
コンピュータソフトウェア/23(1)/p.93, 2006-01 - 多値モデル検査を利用したモデル化の誤りの発見
辰巳 淳朗; 亀山 幸義
情報処理学会論文誌. プログラミング/47(11)/p.50, 2006-07 - 階層化コントロールオペレータに対する型システムの構築
鈴木 輝信; 亀山 幸義
情報処理学会論文誌. プログラミング/48(10)/pp.138-150, 2007-06 - 動的環境と限定継続を持つプログラム言語の意味論と実装
田中 陽; 亀山 幸義
情報処理学会論文誌. プログラミング/48(12)/p.67, 2007-08 - さらに表示...
- Strong Normalization of Polymorphic Calculus for Delimited Continuations