• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Kameyama Yukiyoshi  亀山 幸義

ORCIDConnect your ORCID iD *help
… Alternative Names

KAMEYAMA Yukiyoshi  亀山 幸義

Less
Researcher Number 10195000
Other IDs
External Links
Affiliation (Current) 2025: 筑波大学, システム情報系, 教授
Affiliation (based on the past Project Information) *help 2011 – 2024: 筑波大学, システム情報系, 教授
2010: 筑波大学, システム情報工学系, 教授
2009: University of Tsukuba, 大学院・システム情報工学研究科, 教授
2007 – 2009: University of Tsukuba, Graduate School of Systems and Yukiyoshi. Information Engineering, Associate Professor
2006: 筑波大学, 大学院システム情報工学研究科, 助教授 … More
2005 – 2006: 筑波大学, システム情報工学研究科, 助教授
2004 – 2005: 筑波大学, 大学院・システム情報工学研究科, 助教授
2001 – 2004: 筑波大学, 電子・情報工学系, 助教授
2001: 筑波大学, 電気・情報工学系, 助教授
1998 – 2000: 京都大学, 情報学研究科, 助教授
1999: 京都大学, 大学院・情報学研究科, 助教授
1997: 京都大学, 大学院・工学研究科, 助教授
1996 – 1997: 京都大学, 工学研究科, 助教授
1995: Kyoto Univ., Graduate School of Engineering Research Associate, 工学研究科, 助手
1987 – 1995: 東北大学, 電気通信研究所, 助手 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Software / Basic Section 60050:Software-related / Fundamental theory of informatics / Software
Except Principal Investigator
計算機科学 / Science and Engineering / Software / Informatics / General mathematics (including Probability theory/Statistical mathematics) / Fundamental theory of informatics
Keywords
Principal Investigator
型システム / コントロールオペレータ / プログラム生成 / コントロール・オペレータ / 構成的プログラミング / 型安全性 / 関数型プログラム言語 / 限定継続 / プログラム抽出 / 古典論理 … More / 継続 / 依存型 / プログラム解析 / 段階的計算 / 計算エフェクト / モジュール / メタプログラミング / Delimited Continuations / Control Operators / プログラミング言語 / 高性能計算 / プログラム特化 / プログラム変換 / CPS変換 / ソフトウェア基礎論 / Curry-Howardの対応 / 多相型 / マルチステージプログラミング / 部分継続 / 強正規化可能性 / 仕様記述 / オフショアリング / 暗号実装 / ヘテロジニアス・コード生成 / プログラム解析・検証 / 安全性 / スクープ安全性 / 統合言語クエリ / ヘテロジニアスプログラム生成 / モジュール抽象 / 静的安全性 / 一般化代数データ型 / 先進的型システム / プログラムの信頼性 / 異種プログラム生成 / 多段階計算 / 証明の生成 / 証明探索 / 証明の自動化 / 形式検証 / 定理証明系 / スコープ安全性 / プログラム抽出・生成 / 定理証明支援システム / 副作用 / コントロールエフェクト / 証明記述言語 / Multi-Stage Programming / Type Safety / Type System / Continuations / Meta-program / 高階抽象構文 / 定理証明 / メタ・プログラミング / オブジェクト・プログラム / 型安全陸 / 継続(コンティニュエーション) / メタ・プログラム / Contexts / Meta-variables / Functional Programming / Axiomatization / Software Verification / 型理論 / カリー・ハワードの対応 / 文脈 / メタ変数 / 公理化 / ソフトウェアの検証 / 計算モデル / コントロール抽象 / ソフトウェア検証 / 実行時プログラム生成 / 関数型プログラミング言語 / プログラム検証 / ディペンダブルコンピューティング / ラムダ計算 / プログラム言語 / プログラム理論 / 型エラー / 融合変換 / 型推論 / コントールオペレータ / 様相論理 / コード生成 / プログラムの論理 / 高信頼ソフトウェア / プログラム言語論 / プログラミングパラダイム / プログラミング言語論 / 延焼 / 抽象化 / 安全性検証 / 状態遷移系 / モデル化 / システム検証 / 多値モデル検査 / プログラム合成 / キャッチ・スロー機構 / 控理論 / キャッチ・スロー / Throw機構 / Catch / 非局所脱出機構 / 自己反映原理 / 帰納的述語定義 / 証明 … More
Except Principal Investigator
型理論 / Constructive Programming / 構成的プログラミング / 直観主義論理 / 関数型プログラム言語 / Classical Logic / Intuitionistic Logic / 古典論理 / Type Theory / Catch / プログラム合成 / IP-over-ATM / ATM / ISDN / 構成的論理 / プログラム理論 / 文脈 / 変数の衝突 / 超変数 / 文法的対象 / メタ言語 / 対象言語 / 証明支援系 / 仕様記述・検証 / ソフトウェアの安全性 / 証明検証 / クラス理論 / Program Synthesis / Program Verification / Proof / Functional Programming Language / Constructive Mathematics / 検証 / 証明プログラムの検証 / プログラムの合成 / プログラムの検証 / 証明 / 構成的数学 / Context / Variable Collision / Meta Variable / Syntactic Object / Meta Language / Object Language / 計算体系 / 強正規化性 / 合流性 / 環境 / キャッチ・スロー機構 / 算術 / Modal Logic / Interactive Proof System / 証明エンジン / グラフィカルユーザインターフェース / 証明支援システム / 様相論理 / 対話的証明環境 / Throwcontrd / Throw機構 / キャッチスロー機構 / Lazy evaluation / Assignment Statement / Functional Programming / Proof Development System / Constructive Logic / プログラム検証 / 関数型プロゲーム言語 / 遅延評価 / 代入文 / 証明システム / Education / WWW servers / Multimedia / Teleconference / Internet / 超高速ネットワーク / リモートコンファレンス / マルチメディア情報 / ISDN交換回線網 / 品質保障 / マルチキャスト / 情報提供 / 教育支援 / マルチメディア通信 / ISDN回線によるインターネット接続 / 初等中等教育環境でのネットワーク利用 / Mbone / IP over ATM / 教育 / WWWサーバ / マルチメディア / 遠隔会議 / インターネット / Graph theory / Type theory / Constructive logic / Theory of programs / グラフ理論 / 情報基礎 / 部分継続 / 限定継続 / 明示的環境 / 線形時間時相論理 / 環境適応型ソフトウェア / Natural Framework / 変数参照 / 表現の理論 / 合成規則 / 明示的代入 / 導出 / 判断 / α同値性 / 具体化操作 / 抽象操作 / 表現理論 Less
  • Research Projects

    (28 results)
  • Research Products

    (141 results)
  • Co-Researchers

    (25 People)
  •  Theory and Implementation of Staged Computation with Dependent TypesPrincipal Investigator

    • Principal Investigator
      亀山 幸義
    • Project Period (FY)
      2022 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      University of Tsukuba
  •  Staged Computing based on Advanced Type SystemsPrincipal Investigator

    • Principal Investigator
      Kameyama Yukiyoshi
    • Project Period (FY)
      2018 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      University of Tsukuba
  •  Deepening of a self-extendable software verification system based on class theory

    • Principal Investigator
      Sato Masahiko
    • Project Period (FY)
      2017 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kyoto University
  •  Design and development of multi-stage languages for verificationPrincipal Investigator

    • Principal Investigator
      KAMEYAMA YUKIYOSHI
    • Project Period (FY)
      2015 – 2017
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Software
    • Research Institution
      University of Tsukuba
  •  Study on Highly Reliable Programming Languages for Code GenerationPrincipal Investigator

    • Principal Investigator
      KAMEYAMA YUKIYOSHI
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      University of Tsukuba
  •  Calculi for Call-by-Need and Control AbstractionPrincipal Investigator

    • Principal Investigator
      KAMEYAMA Yukiyoshi
    • Project Period (FY)
      2013 – 2014
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Software
    • Research Institution
      University of Tsukuba
  •  Logical aspect of Control Operators and Program ExtractionPrincipal Investigator

    • Principal Investigator
      KAMEYAMA Yukiyoshi
    • Project Period (FY)
      2011 – 2012
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      University of Tsukuba
  •  Foundation of Programming Languages for Code GenerationPrincipal Investigator

    • Principal Investigator
      KAMEYAMA Yukiyoshi
    • Project Period (FY)
      2009 – 2012
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      University of Tsukuba
  •  多値モデル検査法を用いたモデリング・エラーの発見Principal Investigator

    • Principal Investigator
      亀山 幸義
    • Project Period (FY)
      2008 – 2009
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Software
    • Research Institution
      University of Tsukuba
  •  安全・安心な環境適応型ソフトウェアの基礎理論に関する研究

    • Principal Investigator
      IGARASHI Atsushi
    • Project Period (FY)
      2006
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Kyoto University
  •  Foundation and Application of Delimited Continuations

    • Principal Investigator
      ASAI Kenichi
    • Project Period (FY)
      2006 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Ochanomizu University
  •  変数の動的束縛機構をもつ新しいソフトウェアの理論的研究

    • Principal Investigator
      佐藤 雅彦
    • Project Period (FY)
      2004 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Kyoto University
  •  Foundation of Meta-ProgrammingPrincipal Investigator

    • Principal Investigator
      KAMEYAMA Yukiyoshi
    • Project Period (FY)
      2004 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      University of Tsukuba
  •  変数の動的束縛機構をもつ新しいソフトウェアの理論的研究

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Kyoto University
  •  Calculi and Logic of Environment and Context

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Kyoto University
  •  Calculus and Logic of Delimited ContinuationsPrincipal Investigator

    • Principal Investigator
      KAMEYAMA Yukiyoshi
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  コントロール・オペレータの計算系とプログラム合成Principal Investigator

    • Principal Investigator
      亀山 幸義
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Kyoto University
  •  Implementation of Constructive Programming Based on Classical Logic

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
  •  構成的プログラミングの手法による制御機構を持つプログラムの合成Principal Investigator

    • Principal Investigator
      亀山 幸義
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Kyoto University
  •  構成的プログラミングにおける非局所脱出機構を持つプログラムの合成Principal Investigator

    • Principal Investigator
      亀山 幸義
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Kyoto University
  •  Theory of Constructive Programming

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
  •  Design and Implementation of Constructive Programming Systems

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
  •  自己反映原理を応用した構成的プログラミングPrincipal Investigator

    • Principal Investigator
      亀山 幸義
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Tohoku University
  •  Constructive Programming System for Proof Development, Verification, and Program Synthesis

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
      Tohoku University
  •  構成的論理体系における仕様記述と証明作成に関する研究Principal Investigator

    • Principal Investigator
      亀山 幸義
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Tohoku University
  •  Research on advanced application technology of large-scale internets and Open distributed processing

    • Principal Investigator
      ISHIDA Haruhisa
    • Project Period (FY)
      1993 – 1995
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  Co-operative research on foundational theories of programs

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1990 – 1992
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tohoku University
  •  Design of Proving, Verifying, and Synthesizing System based on Constructive

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1987 – 1989
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      Informatics
    • Research Institution
      Tohoku University

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Book

  • [Book] Functional and Logic Programming2004

    • Author(s)
      Yukiyoshi Kameyama, Peter Stuckey
    • Total Pages
      307
    • Publisher
      Springer-Verlag
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Program generation meets program verification: A case study on number-theoretic transform2024

    • Author(s)
      Masuda Masahiro、Kameyama Yukiyoshi
    • Journal Title

      Science of Computer Programming

      Volume: 232 Pages: 103035-103035

    • DOI

      10.1016/j.scico.2023.103035

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Journal Article] Generating Programs for Polynomial Multiplication with Correctness Assurance2023

    • Author(s)
      Ryo Tokuda and Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2023)

      Volume: - Pages: 27-40

    • DOI

      10.1145/3571786.3573017

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Journal Article] Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform2022

    • Author(s)
      Masahiro Masuda and Yukiyoshi Kameyama
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 13215 Pages: 133-151

    • DOI

      10.1007/978-3-030-99461-7_8

    • ISBN
      9783030994600, 9783030994617
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Journal Article] FFT Program Generation for Ring LWE-Based Cryptography2021

    • Author(s)
      Masahiro Masuda and Yukiyoshi Kameyama
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12835 Pages: 151-171

    • DOI

      10.1007/978-3-030-85987-9_9

    • ISBN
      9783030859862, 9783030859879
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] Type-safe generation of modules in applicative and generative styles2021

    • Author(s)
      Yuhi Sato and Yukiyoshi Kameyama
    • Journal Title

      Proceedings of 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2021)

      Volume: - Pages: 184-196

    • DOI

      10.1145/3486609.3487209

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] One-Shot Algebraic Effects as Coroutines2020

    • Author(s)
      Kawahara Satoru、Kameyama Yukiyoshi
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12222 Pages: 159-179

    • DOI

      10.1007/978-3-030-57761-2_8

    • ISBN
      9783030577605, 9783030577612
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] Reorganizing queries with grouping2020

    • Author(s)
      Okura Rui、Kameyama Yukiyoshi
    • Journal Title

      GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences

      Volume: ー Pages: 50-62

    • DOI

      10.1145/3425898.3426960

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] Module Generation without Regret2020

    • Author(s)
      uhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe
    • Journal Title

      Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: - Pages: 1-13

    • DOI

      10.1145/3372884.3373160

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218, KAKENHI-PROJECT-17H01724
  • [Journal Article] Language-Integrated Query with Nested Data Structures and Grouping2020

    • Author(s)
      Okura Rui、Kameyama Yukiyoshi
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12073 Pages: 139-158

    • DOI

      10.1007/978-3-030-59025-3_9

    • ISBN
      9783030590246, 9783030590253
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] 型付きDSLに対するプログラム変換の型安全なフレームワーク2020

    • Author(s)
      高木 尚、亀山 幸義
    • Journal Title

      日本ソフトウェア科学会第37回大会講演論文集

      Volume: ー Pages: 1-10

    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] Program generation for ML modules (short paper)2018

    • Author(s)
      Takahisa Watanabe and Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'08)

      Volume: 無 Pages: 60-66

    • DOI

      10.1145/3162072

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17H01724, KAKENHI-PROJECT-15K12007
  • [Journal Article] Meta-Programming for Statistical Machine Learning2018

    • Author(s)
      Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama
    • Journal Title

      NII Shonan Seminar Report,

      Volume: No. 2018-7

    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] 定理証明器Coqの効率t系な有限ドメイン関数2017

    • Author(s)
      坂口和彦、亀山幸義
    • Journal Title

      情報処理学会論文誌:プログラミング

      Volume: 10-1 Pages: 14-28

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Journal Article] Staging with control: type-safe multi-stage programming with control2017

    • Author(s)
      Junpei Oishi and Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 16th {ACM} {SIGPLAN} International Conference on Generative Programming: Concepts and Experiences (GPCE 2017)

      Volume: 無 Pages: 29-40

    • DOI

      10.1145/3136040.3136049

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17H01724, KAKENHI-PROJECT-15K12007
  • [Journal Article] Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators2016

    • Author(s)
      Ikuo Kobori, Yukiyosih Kameyama, Oleg Kiselyov
    • Journal Title

      Post-conference Proceedings of Workshop on Continuations 2015, EPTCS

      Volume: なし Pages: 1-12

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Journal Article] Automatic Staging via Partial Evaluation Techniques2016

    • Author(s)
      Kenichi Asai, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing

      Volume: 39 Pages: 1-13

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Staging beyond terms: prospects and challenges2016

    • Author(s)
      Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: なし Pages: 103-108

    • DOI

      10.1145/2847538.2847548

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Refined Environment Classifiers: Type- and Scope-safe Code Generation with Mutable Cells2016

    • Author(s)
      Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo
    • Journal Title

      Proceedings of Asian Symposium on Programming Languages and Systems

      Volume: 14 Pages: 271-291

    • DOI

      10.1007/978-3-319-47958-3_15

    • ISBN
      9783319479576, 9783319479583
    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Journal Article] Finally, safely-extensible and efficient language-integrated query2016

    • Author(s)
      Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: なし Pages: 37-48

    • DOI

      10.1145/2847538.2847542

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] ついにSQLを組み立てる:拡張可能で安全な統合言語クエリ2015

    • Author(s)
      鈴木健一、亀山幸義、オレッグキセリョーフ
    • Journal Title

      第17回プログラミングおよびプログラミング言語ワークショップ論文集(オンライン)

      Volume: 17 Pages: 17-17

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Combinators for impure yet hygienic code generation2015

    • Author(s)
      Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
    • Journal Title

      Science of Computer Programming

      Volume: 112 Pages: 120-144

    • DOI

      10.1016/j.scico.2015.08.007

    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Generate and offshore: type-safe and modular code generation for low-level optimization2015

    • Author(s)
      Naoki Takashima, Hiroki Sakamoto, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing

      Volume: なし Pages: 45-53

    • DOI

      10.1145/2808091.2808096

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] ATM without Tears: Prompt-Passing Style Transformation for Typed Delimited Control Operatrors2015

    • Author(s)
      Ikuo Kobori, Yukiyoshi Kameyama
    • Journal Title

      Electronic Proceedings of Workshop on Continuations (WoC'15)

      Volume: 1

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25540023
  • [Journal Article] The Next Stage of Staging2015

    • Author(s)
      Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
    • Journal Title

      第17回プログラミングおよびプログラミング言語ワークショップ論文集(オンライン)

      Volume: 17 Pages: 11-11

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Combinators for Impure yet Hygienic Code Generation2014

    • Author(s)
      Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
    • Journal Title

      Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: 2014 Pages: 3-14

    • DOI

      10.1145/2543728.2543740

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Shonan Challenge for Generative Programming2013

    • Author(s)
      Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan
    • Journal Title

      Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013)

      Pages: 147-154

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] 限定継続機構とfuture を持つ計算体系の透過的意味論2013

    • Author(s)
      田中麻峰,亀山幸義
    • Journal Title

      情報処理学会論文誌

    • NAID

      110009596040

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23650003
  • [Journal Article] 限定継続機構とfutureを持つ計算体系の透過的意味論2013

    • Author(s)
      田中麻峰、亀山幸義
    • Journal Title

      情報処理学会論文誌

      Volume: Vol. 54, No. 8 Pages: 1996-2011

    • NAID

      110009596040

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25540023
  • [Journal Article] Shonan Challenge for Generative Programming2013

    • Author(s)
      Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
    • Journal Title

      Proceedings of PEPM 2013, ACM

      Volume: 2013 Pages: 147-154

    • DOI

      10.1145/2426890.2426917

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras2012

    • Author(s)
      Jefferson O. Andrade, Yukiyoshi Kameyama
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: Vol. E95-D, No. 5 Pages: 1355-1364

    • NAID

      10030942823

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23650003
  • [Journal Article] A Call-by-Name CPS Hierarchy2012

    • Author(s)
      Asami Tanaka and Yukiyoshi Kameyama
    • Journal Title

      Proc. International Symposium on Functional and Logic Programming (FLOPS 2012), Kobe, Japan, Lecture Notes in Computer Science

      Volume: 7294 Pages: 260-274

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] A Call-by-Name CPS Hierarchy2012

    • Author(s)
      Asami Tanaka, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of FLOPS 2012, Lecture Notes in Computer Science

      Volume: 7294 Pages: 260-274

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras2012

    • Author(s)
      Jefferson O. Andrade, Yukiyoshi Kameyama
    • Journal Title

      Special Section on Formal Approach, IEICE Transactions on Information and Systems

      Volume: 5 Pages: 1335-1364

    • NAID

      10030942823

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23650003
  • [Journal Article] Type checking and typability in domain-free lambda calculi2011

    • Author(s)
      K.Nakazawa, M.Tatsuta, Y.Kameyama, H.Nakano
    • Journal Title

      Theoretical Computer Science

      Volume: 412(44) Issue: 44 Pages: 6193-6207

    • DOI

      10.1016/j.tcs.2011.06.020

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300008, KAKENHI-PROJECT-23650003
  • [Journal Article] Polymorphic Multi-Stage Language with Control Effects2011

    • Author(s)
      Yuichiro Kokaji, Yukiyoshi Kameyama
    • Journal Title

      Proc.Ninth Asian Symp.on Programming Languages and Systems Lecture Notes in Computer Science

      Volume: 7078 Pages: 105-120

    • DOI

      10.1007/978-3-642-25318-8_11

    • ISBN
      9783642253171, 9783642253188
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] コード実行機能と計算エフェクトを持つ型付きマルチステージ言語2011

    • Author(s)
      杉浦啓介,亀山幸義
    • Journal Title

      コンピュータソフトウェア

      Volume: Vol. 28, No. 1 Pages: 217-229

    • NAID

      130004892161

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Shifting the Stage - Staging with Delimited Control2011

    • Author(s)
      Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
    • Journal Title

      Journal of Functional Programming

      Volume: 21(6) Pages: 617-662

    • NAID

      120007137184

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Polymorphic Multi-Stage Languagewith Control Effects2011

    • Author(s)
      Yuichiro Kokaji, Yukiyoshi Kameyama
    • Journal Title

      Proc. Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011), Kenting, Taiwan, Lecture Notes in Computer Science

      Volume: 7078 Pages: 105-120

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Undecidability of Type-checking in Domain-free Typed Lambda-Calculi with Existence2011

    • Author(s)
      Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano
    • Journal Title

      Theoretical Computer Science

      Volume: 412 Pages: 6193-6207

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Shifting the Stage--Staging with Delimited Control2011

    • Author(s)
      Yukiyoshi Kameyama, Oleg Kiselyov Chung-chieh Shan
    • Journal Title

      Journal of Functional Programming

      Volume: 21(6) Issue: 6 Pages: 617-662

    • DOI

      10.1017/s0956796811000256

    • NAID

      120007137184

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Equational Axiomatization of Call-by-Name Delimited Control2010

    • Author(s)
      Yukiyoshi Kameyama and Asami Tanaka
    • Journal Title

      Proc. 12th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2010)

      Pages: 77-86

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Equational Axiomatization of Call-by-Name Delimited Control2010

    • Author(s)
      Yukiyoshi Kameyama, Asami Tanaka
    • Journal Title

      Proc.of 12th ACM SIGPLAN Symp.on Principles and Practice of Declarative Programming

      Pages: 77-86

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] コード実行機能と計算エフェクトを持つ型付きマルチステージ言語2010

    • Author(s)
      杉浦啓介、亀山幸義
    • Journal Title

      コンピュータソフトウェア (掲載確定)

    • NAID

      130004892161

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Improving Error Messages in Type System2010

    • Author(s)
      Cynthia Kustanto, Yukiyoshi Kameyama
    • Journal Title

      IPSJ Transactions on Programming

      Volume: Vol. 3, No. 4 Pages: 43-56

    • NAID

      130000418484

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Shifting the Stage-Staging with Delimited Control2009

    • Author(s)
      Y. Kameyama, O. Kiselyov, C.-c. Sha
    • Journal Title

      Proc. Workshop on Partial Evaluation and Program Manipulation

      Pages: 111-120

    • NAID

      120007137184

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20650003
  • [Journal Article] A Type System for Dynamic Delimited Continuations2008

    • Author(s)
      Takuo Yonezawa, Yukiyoshi Kameyama
    • Journal Title

      情報処理学会論文誌:プログラミング 49, No.SIG3(PRO36)

      Pages: 28-38

    • NAID

      130000058186

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Typed Dynamic Control Operators for Delimited Continuations2008

    • Author(s)
      Yukiyoshi Kameyama
    • Journal Title

      Proc. International Symposium onFunctional and Logic Programming(FLOPS 2008), Lecture Notes in Com-puter Science 4989

      Pages: 239-254

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Strong Normalization of Polymorphic Calculus for Delimited Continuatoins2008

    • Author(s)
      Y. Kameyama, K. Asai
    • Journal Title

      Proc. Workshop on Symbolic Computation in Software Science, RISC-LINZ report 08-08

      Pages: 96-108

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20650003
  • [Journal Article] Closing the Stage: From Staged Code to Typed Closures2008

    • Author(s)
      Yukiyoshi Kameyama, Oleg Kise lyov, Chung-chieh Shan
    • Journal Title

      Proc. ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation(PEPM08)

      Pages: 147-157

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] A Type System for Dynamic Delimited Continuations2008

    • Author(s)
      Takuo Yonezawa, Yukiyoshi Kameyama
    • Journal Title

      IPSJ Transactions of Programming Vol.49, No.SIG 3(PRO 36)

      Pages: 28-38

    • NAID

      130000058186

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Strong Normalization of Polymorphic Calculus for Delimited Continuations2008

    • Author(s)
      Y. Kameyama, K. Asai
    • Journal Title

      Austrian -Jap ane se Workshop on Symbolic Computation in Software Science (scss 2008)

      Pages: 96-108

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Calculi of Meta-variables2008

    • Author(s)
      Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
    • Journal Title

      Frontiers of Computer Science in China 2:1

      Pages: 12-21

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Closing the Stage : From Staged Code to Typed Closures2008

    • Author(s)
      Yukiyoshi Kameyama, Oleg Kiselyov
    • Journal Title

      Proc. ACM SIGPLSN Workshop on Partial Evalution and Program Manipulation(PWPM'08)

      Pages: 147-157

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] A Direct Algorithm for Multi-Valued Bounded Model Checklng2008

    • Author(s)
      J. O. Andrade, Y. Kameyama
    • Journal Title

      Proc. Int'l Symp. on Automated Technology for Verification & Analysis, LNCS 5311

      Pages: 80-94

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20650003
  • [Journal Article] Axioms for Control Operators in the CPS Hierarchy2007

    • Author(s)
      Yukiyoshi Kameyama
    • Journal Title

      Higher-order and Symbolic Computation 20

      Pages: 339-369

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] 階層化コントロールオペレータに対する型システムの構築2007

    • Author(s)
      鈴木輝信, 亀山幸義
    • Journal Title

      情報処理学会論文誌 : プログラミング PRO-33(採録決定)

    • NAID

      110006291062

    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Polymorphic Delimited Continuations2007

    • Author(s)
      K. Asai, Y. Kameyama
    • Journal Title

      5th Asian Symposium on Programming Languages and Systems (LNCS 4807)

      Pages: 239-254

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Polymorphic Delimited Continuations2007

    • Author(s)
      K. Asai, Y. Kameyama
    • Journal Title

      5^<th> Asian Symposium on Programming Languages and Systems (LNCS 4807)

      Pages: 239-254

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Axioms for Control Operators in the CPS Hierarchy2007

    • Author(s)
      Yukiyoshi Kameyama
    • Journal Title

      Higher-Order and Symbolic Computation Vol.20

      Pages: 339-369

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Polymorphic Delimited Continuations2007

    • Author(s)
      Kenichi Asai, Yukiyoshi Kameyama
    • Journal Title

      Proc. Fifth Asian Symposium on Programming Languages and Systems(APLAS2007), LNCS 4807

      Pages: 239-254

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Polymorphic Delimited Continuations2007

    • Author(s)
      K: Asai, Y. Kameyama
    • Journal Title

      5th Asian Symposium on Programming Languages and Systems LNCS 4807

      Pages: 239-254

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Polymorphic Delimited Continuations2007

    • Author(s)
      Kenichi Asai, Yukiyoshi Kameyama
    • Journal Title

      Proc. Fifth Asian Symposium onProgramming Languages and Systems(APLAS 2007), Singapore, LectureNotes in Computer Science 4807

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Axioms for Control Operators in the CPS Hierarchy2006

    • Author(s)
      Yukiyoshi Kameyama
    • Journal Title

      Higher-order and Symbolic Computation (to appear)(発表予定)

    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Weighted Kripke Structures and Refinement of Models2006

    • Author(s)
      亀山幸義, 木下佳樹, 西沢弘毅
    • Journal Title

      日本ソフトウェア科学会第23回大会論文集 23(オンライン)

      Pages: 10-10

    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] E-learning of Foundation of Computer Science2006

    • Author(s)
      Yukiyoshi Kameyama, Masahiko Sato
    • Journal Title

      Proc. AEARU Workshop on Network Education

      Pages: 169-181

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] E-learning of Foundation of Computer Science2006

    • Author(s)
      Yukiyoshi Kameyama, Masahiko Sato
    • Journal Title

      Proceedings of the Fourth AEARU Workshop on Network Education

      Pages: 169-181

    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] プログラムに対する変換の正しさの形式検証2005

    • Author(s)
      吉原宏之, 亀山幸義
    • Journal Title

      日本ソフトウェア科学会第22回大会予稿集 6B-1(オンライン予稿集)

      Pages: 10-10

    • NAID

      130004638905

    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Axiomatizing Higher Level Delimited Continuation2004

    • Author(s)
      Yukiyoshi Kameyama
    • Journal Title

      Proc. ACM SIGPLAN Workshop CW'04

      Pages: 49-53

    • Data Source
      KAKENHI-PROJECT-16016245
  • [Journal Article] Axioms for Delimited Continuations in the CPS Hierarchy2004

    • Author(s)
      Yukiyoshi Kameyama
    • Journal Title

      Proc. Annual Conference of the Euro-pear Association for Computer Science Logic(CSL'04), Karpacz, Poland, Lec-ture Notes in Computer Science 3210

      Pages: 442-457

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] 抽象化と精密化による実時間モデル検査の改善2004

    • Author(s)
      中島 一, 亀山 幸義
    • Journal Title

      情報処理学会論文誌:プログラミング 45:SIG12

      Pages: 11-24

    • NAID

      110002768477

    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Axioms for Delimited Continuations in the CPS Hierarchy2004

    • Author(s)
      Yukiyoshi Kameyama
    • Journal Title

      Proc.Annual Conference of the European Association for Computer Science Logic, Lecture Notes in Computer Science 3210

      Pages: 442-457

    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Improving Realtime model Checking by Abstraction and Refinement2004

    • Author(s)
      Hajime Nakajima, Yukiyoshi Kameyama
    • Journal Title

      IPSJ Transactions on Programming Vol.45, No.SIG12(PRO23)

      Pages: 11-24

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Journal Article] Axioms for Delimited Continuations in the CPS Hierarchy2004

    • Author(s)
      Yukiyoshi Kameyama
    • Journal Title

      Proc. Computer Science Logic 2004,LNCS 3210

      Pages: 442-457

    • Data Source
      KAKENHI-PROJECT-16016245
  • [Journal Article] Axioms for Control Operators in the CPS Hierarchy

    • Author(s)
      Yukiyoshi Kameyama
    • Journal Title

      Higher-Order and Symbolic Computation (to appear)

    • Data Source
      KAKENHI-PROJECT-16016245
  • [Presentation] 擬似引用方式のプログラム生成によるSQLクエリコンパイラ(ポスター発表)2024

    • Author(s)
      夏井優太、亀山幸義
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークシップ
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] Coq の証明から抽出されたプログラムに対する型主導の最適化アルゴリズムとその形式化(ポスター発表)2024

    • Author(s)
      礒田華成、亀山幸義
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークシップ
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] Generating Programs for Polynomial Multiplication with Correctness Assurance2023

    • Author(s)
      Ryo Tokuda and Yukiyoshi Kameyama
    • Organizer
      Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform2022

    • Author(s)
      Masahiro Masuda and Yukiyoshi Kameyama
    • Organizer
      16th International Symposium on Functional and Logic Programming (FLOPS 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] FFT Program Generation for Ring LWE-Based Cryptography2021

    • Author(s)
      Masahiro Masuda and Yukiyoshi Kameyama
    • Organizer
      16th International Workshop on Security (IWSEC 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Type-safe generation of modules in applicative and generative styles2021

    • Author(s)
      Yuhi Sato and Yukiyoshi Kameyama
    • Organizer
      20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Reorganizing queries with grouping2020

    • Author(s)
      Okura Rui, Kameyama Yukiyoshi
    • Organizer
      Tthe 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE '20)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Language-Integrated Query with Nested Data Structures and Grouping2020

    • Author(s)
      Okura Rui, Kameyama Yukiyoshi
    • Organizer
      International Symposium on Functional and Logic Programming (FLOPS 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] One-shot Algebraic Effects as Coroutines2020

    • Author(s)
      Satoru Kawahara, Yukiyoshi Kameyama
    • Organizer
      21st International Symposium on Trends in Functional Programming
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] 型付きDSLに対するプログラム変換の型安全なフレームワーク2020

    • Author(s)
      高木 尚, 亀山 幸義
    • Organizer
      日本ソフトウェア科学会第37回大会
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] One-shot Algebraic Effects as Coroutines2020

    • Author(s)
      Satoru Kawahara, Yukiyoshi Kameyama
    • Organizer
      The 21st International Symposium on Trends in Functional
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01724
  • [Presentation] Module Generation without Regret2020

    • Author(s)
      Yuhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe
    • Organizer
      2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Language-Integrated Query with Nested Data Structures and Grouping2019

    • Author(s)
      Yukiyoshi Kameyama
    • Organizer
      IFIP WG2.11 20th Meeting
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Polymorphic Staged Calculus with Cross-Stage Persistence and Side Effects2019

    • Author(s)
      菊地 綾音,亀山 幸義
    • Organizer
      情報処理学会第122回プログラミング研究発表会
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Refined Environment Classifiers: Type- and Scope-Safe Code Generation with Mutable Cells2018

    • Author(s)
      Yukiyoshi Kameyama
    • Organizer
      第30回プログラミングとプログラミング言語ワークショップ (PPL 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Presentation] A Lightweight Approach to Module Generation2018

    • Author(s)
      Yukiyoshi Kameyama
    • Organizer
      IFIP Working Group 2.11, 18th meeting (Kyoto, Jpaan)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01724
  • [Presentation] A Lightweight Approach to Module Generation2018

    • Author(s)
      Yukiyoshi Kameyama
    • Organizer
      IFIP Working Group 2.11, 18th meeting (Kyoto, Japan)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Type-Safe Multi-Stage Programming with Control2017

    • Author(s)
      Yukiyoshi Kameyama
    • Organizer
      IFIP WG2.1 on Program Generation, Koblenz Meeting
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Presentation] Staging with control: type-safe multi-stage programming with control2017

    • Author(s)
      Yukiyoshi Kameyama
    • Organizer
      the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Presentation] ワンショット限定継続からコルーチンへの変換2017

    • Author(s)
      薄井千春、亀山幸義
    • Organizer
      情報処理学会第112回プログラミング研究会
    • Place of Presentation
      沖縄県男女共同参画センター(沖縄県那覇市)
    • Year and Date
      2017-01-10
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Presentation] Coq/SSReflectのextractionの改善2016

    • Author(s)
      坂口和彦、亀山幸義
    • Organizer
      第18回プログラミングおよびプログラミング言語ワークショップ ポスター発表
    • Place of Presentation
      ダイヤモンド瀬戸内マリンホテル(岡山県玉野市)
    • Year and Date
      2016-03-07
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Presentation] 多段階 let 挿入を行うコード生成言語の型システムの設計2016

    • Author(s)
      大石純平、亀山幸義
    • Organizer
      日本ソフトウェア科学会第33回全国大会
    • Place of Presentation
      東北大学(宮城県仙台市)
    • Year and Date
      2016-09-06
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Presentation] 1MLのサブセット言語に対する型システムの構築2016

    • Author(s)
      渡部恭久, 亀山幸義
    • Organizer
      第18回プログラミングおよびプログラミング言語ワークショップ ポスター発表
    • Place of Presentation
      ダイヤモンド瀬戸内マリンホテル(岡山県玉野市)
    • Year and Date
      2016-03-07
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Presentation] 定理証明器Coqの効率的な有限ドメイン関数ライブラリ2016

    • Author(s)
      坂口和彦、亀山幸義
    • Organizer
      情報処理学会第109回プログラミング研究会
    • Place of Presentation
      浜松市福祉交流センター(静岡県浜松市)
    • Year and Date
      2016-06-09
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Presentation] Type-Safe Generation of High-Performance Code2016

    • Author(s)
      Yukiyoshi Kameyama
    • Organizer
      NII Shonan Meeting on Putting Heterogeneous High-Performance Computing
    • Place of Presentation
      湘南国際村センター(神奈川県三浦郡葉山町)
    • Year and Date
      2016-11-17
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Presentation] shift/resetによる結果型変更の実現 (ポスター発表)2015

    • Author(s)
      小堀育男、亀山幸義、オレッグキセリョーフ
    • Organizer
      第17回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      道後プリンスホテル(愛媛)
    • Year and Date
      2015-03-05
    • Data Source
      KAKENHI-PROJECT-25540023
  • [Presentation] ラムダ計算におけるshift/resetによるcall/ccの模倣2015

    • Author(s)
      薄井千春、亀山幸義
    • Organizer
      11th Theorem Proving and Provers Meeting (TPP)
    • Place of Presentation
      神奈川大学 (神奈川県平塚市)
    • Year and Date
      2015-09-16
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Presentation] 段階的計算とProof Obligation2015

    • Author(s)
      亀山幸義
    • Organizer
      11th Theorem Proving and Provers Meeting (TPP)
    • Place of Presentation
      神奈川大学 (神奈川県平塚市)
    • Year and Date
      2015-09-16
    • Data Source
      KAKENHI-PROJECT-15K12007
  • [Presentation] 拡張可能で安全な統合言語クエリ (ポスター発表)2014

    • Author(s)
      鈴木健一、亀山幸義、オレッグキセリョーフ
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学(愛知)
    • Year and Date
      2014-09-09
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Presentation] 段階的計算における最適なステージ化プログラム生成の自動化2013

    • Author(s)
      清水春樹、亀山幸義
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Presentation] 結果型を変更可能な限定継続の模倣2013

    • Author(s)
      宮部浩太朗, 亀山幸義
    • Organizer
      情報処理学会第93回プログラミング研究会(PRO-2012-5)
    • Place of Presentation
      国立情報学研究所(東京都)
    • Year and Date
      2013-02-28
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] 結果型を変更可能な限定継続の模倣2013

    • Author(s)
      宮部浩太朗,亀山幸義
    • Organizer
      情報処理学会第93回プログラミング研究発表会
    • Place of Presentation
      国立情報学研究所(東京)
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] Lazy Delimited Nondeterminism2012

    • Author(s)
      Sebastian Fischer, Michael Hanus, Yukiyoshi Kameyama, Chung-chieh Shan, Naoki Takashima
    • Organizer
      International Workshop on Function and Constraint Logic Programming (WFLP 2012)
    • Place of Presentation
      名古屋大学
    • Data Source
      KAKENHI-PROJECT-23650003
  • [Presentation] Lazy Delimited Nondeterminism2012

    • Author(s)
      Sebastian Fischer, Michael Hanus, Yukiyoshi Kameyama, Chung-chieh Shan, Naoki Takashima
    • Organizer
      International Workshop on Functional and (Constraint) Logic Programming (WFLP 2012), Work-in-Progress session
    • Place of Presentation
      名古屋大学
    • Year and Date
      2012-05-29
    • Data Source
      KAKENHI-PROJECT-23650003
  • [Presentation] 並列計算における逐次コントロール2012

    • Author(s)
      田中麻峰、亀山幸義
    • Organizer
      日本ソフトウェア科学会第29回大会
    • Place of Presentation
      法政大学(東京)
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] コントロールオペレータの表現力の比較2011

    • Author(s)
      高島尚希, 亀山幸義
    • Organizer
      第84回情報処理学会プログラミング研究会
    • Place of Presentation
      サン・リフレ函館(北海道函館市)
    • Year and Date
      2011-06-14
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] 限定継続を持つ並列言語モデルの設計と実装2011

    • Author(s)
      田中麻峰, 亀山幸義
    • Organizer
      並列/分散/協調処理に関するサマーワークショップ(SWoPP)
    • Place of Presentation
      かごしま県民交流センター(鹿児島県鹿児島市)
    • Year and Date
      2011-07-29
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] エフェクトを持つマルチステージ計算体系の型推論2011

    • Author(s)
      小鍛治雄一郎, 亀山幸義
    • Organizer
      日本ソフトウェア科学会PPLワークショップ2011
    • Place of Presentation
      定山渓ビューホテル,札幌市(招待講演)
    • Year and Date
      2011-03-11
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] Visualizing Continuations (short talk)2011

    • Author(s)
      Naoki Takashima, Tatsuya Nishiyama, Yukiyoshi Kameyama
    • Organizer
      ACM SIGPLAN Continuation Workshop
    • Place of Presentation
      一橋記念講堂(東京都)
    • Year and Date
      2011-09-24
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] コントロールオペレータを持つ必要呼び計算体系の設計2011

    • Author(s)
      西山達也, 亀山幸義
    • Organizer
      情報処理学会第86回プログラミング研究会(PRO86)
    • Place of Presentation
      神奈川近代文学館(横浜市)
    • Year and Date
      2011-11-02
    • Data Source
      KAKENHI-PROJECT-23650003
  • [Presentation] Efficient Algorithms for Analyzing Verification Errors2011

    • Author(s)
      Jin-gyeong Kim, Yukiyoshi Kameyama
    • Organizer
      日本ソフトウェア科学会ディペンダブルシステムワークショップ&シンポジウム
    • Place of Presentation
      京都工芸繊維大学・京都府
    • Data Source
      KAKENHI-PROJECT-23650003
  • [Presentation] Visualizing Continuations2011

    • Author(s)
      Naoki Takashima, Tatsuya Nishiyama, Yukiyoshi Kameyama
    • Organizer
      ACM SIGPLAN Continuation Workshop 2011
    • Place of Presentation
      一橋記念講堂(東京都)
    • Year and Date
      2011-09-24
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] コントロールオペレータを持つ必要呼び計算体系の設計2011

    • Author(s)
      西山達也, 亀山幸義
    • Organizer
      第86回情報処理学会プログラミング研究会
    • Place of Presentation
      神奈川近代文学館(神奈川県横浜市)
    • Year and Date
      2011-11-02
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] エフェクトを持つマルチステージ計算体系の型推論2011

    • Author(s)
      小鍛治雄一郎, 亀山幸義
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ論文集
    • Place of Presentation
      定山渓ビューホテル(北海道札幌市)
    • Year and Date
      2011-03-11
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] コントロールオペレータの表現力の比較2011

    • Author(s)
      高島尚希, 亀山幸義
    • Organizer
      情報処理学会第84回プログラミング研究会(PRO84)
    • Place of Presentation
      サン・リフレ函館(北海道函館市)
    • Year and Date
      2011-06-14
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] 限定継続に基づくスケーラブルなウェブアプリケーション構築手法2010

    • Author(s)
      田中麻峰, 亀山幸義
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      鹿児島大学
    • Year and Date
      2010-03-08
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] Improving Error Message in Type System2010

    • Author(s)
      C.Kustanto, Y.Kameyama
    • Organizer
      情報処理学会プロゲラミング研究会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2010-03-16
    • Data Source
      KAKENHI-PROJECT-20650003
  • [Presentation] Improving Error Message in Type System2010

    • Author(s)
      Cynthia Kustanto, Yukiyoshi Kameyama
    • Organizer
      情報処理学会プログラミング研究会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2010-03-16
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] コード実行機能と計算エフェクトを持つ型付きマルチステージ言語2009

    • Author(s)
      杉浦啓介, 亀山幸義
    • Organizer
      日本ソフトウェア科学会第26回大会
    • Place of Presentation
      島根大学
    • Year and Date
      2009-09-18
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] Improving Multi-Valued Bounded Model Checking2008

    • Author(s)
      J. O. Andrade, Y. Kameyama
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学
    • Year and Date
      2008-09-12
    • Data Source
      KAKENHI-PROJECT-20650003
  • [Presentation] Imprementation of a Multi-Stage Programming Language(in Japnese)2008

    • Author(s)
      Keisuke Sugiura, Yukiyoshi Kameyama
    • Organizer
      IPSJ Annual Conference
    • Place of Presentation
      Univ. of Tsukuba
    • Year and Date
      2008-03-13
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] Construction of Type System for Layered Control Operators(in Japnese)2007

    • Author(s)
      Terunobu Suzuki, Yukiyoshi Kameyama
    • Organizer
      IPSJ SIG-Programming Meeting
    • Place of Presentation
      Ryukyu Univ
    • Year and Date
      2007-01-19
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] Design and Implementation of a Meta-Programming Language for Object-Oriented Languages(in Japnese)2007

    • Author(s)
      Suguru Sasaki, Yukiyoshi Kameyama
    • Organizer
      IPSJ SIG-Programming Meeting
    • Place of Presentation
      Tokyo Inst. Technology
    • Year and Date
      2007-03-22
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] A Type System for Dynamic Delimited Continuations2007

    • Author(s)
      Takuo Yonezawa, Yukiyoshi Kameyama
    • Organizer
      IPSJ SIG-Programming Meeting
    • Place of Presentation
      Nara Inst. of Science and Technology
    • Year and Date
      2007-10-13
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] A Type System for Dynamic Delimited Continuations2007

    • Author(s)
      Takuo Yonezawa, Yukiyoshi Kameyama
    • Organizer
      情報処理学会プログラミング研究会
    • Place of Presentation
      名古屋大学
    • Year and Date
      2007-10-11
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] An Algorithm for Bounded Multi-Valued Model Checking2007

    • Author(s)
      Jefferson 0. Andrade, Yukiyoshi Kameyama
    • Organizer
      The 3rd Symposium on Science and Technology of Systems Verification
    • Place of Presentation
      Nagoya Univ.
    • Year and Date
      2007-11-05
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] Semantics and Implementation of Programming Languages with Dynamic Environments and Delimited Continuations(in Japnese)2007

    • Author(s)
      Yo Tanaka, Yukiyoshi Kameyama
    • Organizer
      IPSJ SIG-Programming Meeting
    • Place of Presentation
      Tokyo Inst. Technology
    • Year and Date
      2007-03-22
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] Multi-Valued Model Checking Using SAT Solvers2007

    • Author(s)
      Jefferson 0. Andrade, Yukiyoshi Kameyama
    • Organizer
      The 24th JSSST Annual Conference
    • Place of Presentation
      Nara Inst. of Science and Technology
    • Year and Date
      2007-09-13
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] Construction of Type System for Layered Control Operators(in Japnese)2006

    • Author(s)
      Terunobu Suzuki, Yukiyoshi Kameyama
    • Organizer
      The 23rd JSSST Annual Conference
    • Place of Presentation
      Univ. of Tokyo
    • Year and Date
      2006-09-15
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] Weighted Kripke Structures and Refinement of Models2006

    • Author(s)
      Yukiyoshi Kameyama, Yoshiki Kinoshita, Koki Nishizawa
    • Organizer
      The 23rd JSSST Annual Conference
    • Place of Presentation
      Univ. of Tokyo
    • Year and Date
      2006-09-15
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] Discovery of Modeling Errors using Multi-Valued Model Checking(in Japnese)2006

    • Author(s)
      Yoshiaki Tatsumi, Yukiyoshi Kameyama
    • Organizer
      IPSJ SIG-Programming Meeting
    • Place of Presentation
      Advanced Institute of Science and Technology
    • Year and Date
      2006-01-16
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] Formalizing Equational Correspondence Proof for CPS Transformation based on Logical Framework2006

    • Author(s)
      Yukiyoshi Kameyama, Hiroyuki Yoshihara
    • Organizer
      Type Theory Workshop
    • Place of Presentation
      National Inst. of Informatics
    • Year and Date
      2006-01-23
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] Formal Verification of Program Transformations(in Japnese)2005

    • Author(s)
      Hiroyuki Yoshihara, Yukiyoshi Kameyama
    • Organizer
      Th 22th JSSST Annual Conference
    • Place of Presentation
      Tohoku Univ.
    • Year and Date
      2005-09-15
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] Metatheorem Proving in Twelf and its Semantics2005

    • Author(s)
      Yukiyoshi Kameyama, Hiroyuki Yoshihara
    • Organizer
      The 2nd Theorem Proving and Provers Meeting
    • Place of Presentation
      Japan Advanced Institue of Science and Technology
    • Year and Date
      2005-11-29
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500004
  • [Presentation] コード生成のための自然演繹

    • Author(s)
      須藤悠斗、Oleg Kiselyov, 亀山幸義
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学(愛知)
    • Year and Date
      2014-09-08 – 2014-09-10
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Presentation] Prolog 再考: 急がないで推測

    • Author(s)
      Oleg Kiselyov, 亀山幸義
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学(愛知)
    • Year and Date
      2014-09-08 – 2014-09-10
    • Data Source
      KAKENHI-PROJECT-25280020
  • 1.  SATO Masahiko (20027387)
    # of Collaborated Projects: 11 results
    # of Collaborated Products: 1 results
  • 2.  IGARASHI Atsushi (40323456)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 3.  ASAI Kenichi (10262156)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 5 results
  • 4.  NAKAZAWA Koji (80362581)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 1 results
  • 5.  TATSUTA Makoto (80216994)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 6.  TAKEUTI Izumi (20264583)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 7.  桜井 貴文 (60183373)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 8.  KISELYOV Oleg (50754602)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 10 results
  • 9.  UNNO Hiroshi (80569575)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  ISHIDA Haruhisa (70017317)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  HIRABARU Masaki (10192717)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  SHIMOJO Shinji (00187478)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  OHTA Masataka (90194175)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  NAKAYAMA Masaya (90217943)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  SAWAMURA Hajime (40282991)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  木下 佳樹 (60356889)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  西澤 弘樹 (60455433)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  TANAKA Asami
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 19.  KOBORI Ikuo
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 20.  OHTANI Takeshi
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  SAKAGUCHI Kazuhiko
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 22.  WATANBE Takahisa
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  OISHI Jumpei
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 24.  USUI Chiharu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 25.  SUDO Yuto
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi