KAMEYAMA Yukiyoshi

Researcher's full information

Articles

• Typed Dynamic Control Operators for Delimited Continuations
  Yukiyoshi Kameyama; Takuo Yonezawa
  Proc. International Symposium on Functional and Logic Programming (FLOPS '08), Lecture Notes in Computer Science/4989, 2008-04
• 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
• Typed Multi-Stage Language with Control Effect and Code Execution
  杉浦啓介; 亀山幸義
  Computer Software/28(1)/p.217-229, 2011-02
• Type Inference on Multi-Stage Calculus with Computational Effects
  小鍛治雄一郎; 亀山幸義
  The 13th JSSST Workshop on Programming and Programming Languages/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
• Formalizing Metamathematical Theorems based on Constructive Logic RPT
  亀山 幸義
  全国大会講演論文集/42(1)/pp.47-48, 1991-02
  
  CiNii
• Reflective Proof Theory and its Proof System.
  亀山 幸義; 佐藤 雅彦
  Computer Software/12(2)/pp.122-141, 1995-03
  
  CiNii
• Proof Method of Correctness of Refinement with Pre-Logical Relation on Coq
  永山 友和; 佐藤 雅彦; 亀山 幸義
  情報処理学会論文誌. プログラミング/42(11)/p.100, 2001-11
  
  CiNii
• A Second-Order Context Calculus
  Taha Azza A.; 佐藤 雅彦; 亀山 幸義
  Computer Software/19(3)/pp.158-175, 2002-05
  
  CiNii
• 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
  
  CiNii Tsukuba Repository
• 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
  
  Tsukuba Repository
• ソフトウェア科学愛好家
  亀山 幸義
  コンピュータソフトウェア/28(2)/p.70, 2011-04
  
  CiNii
• 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
• Scalable Web Application Framework based on Delimited Continuation
  田中 麻峰; 亀山 幸義
  電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス/109(456)/pp.163-168, 2010-03
  
  CiNii
• Improvement on Real-time Model Checking Using Abstraction-Refinement
  中島 一; 亀山 幸義
  情報処理学会論文誌. プログラミング/45(12)/pp.11-24, 2004-11
  
  CiNii
• 自由な時間の使い方
  亀山 幸義
  コンピュータソフトウェア/23(1)/p.93, 2006-01
  
  CiNii
• Towards Modeling-error Detection Using Multi-valued Model Checking
  辰巳 淳朗; 亀山 幸義
  情報処理学会論文誌. プログラミング/47(11)/p.50, 2006-07
  
  CiNii
• Construction of a Type System for Layered Control Operators
  鈴木 輝信; 亀山 幸義
  情報処理学会論文誌. プログラミング/48(10)/pp.138-150, 2007-06
  
  CiNii
• more...