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

Sato Masahiko  佐藤 雅彦

ORCIDConnect your ORCID iD *help
… Alternative Names

SATO Masahiko  佐藤 雅彦

Less
Researcher Number 20027387
Other IDs
External Links
Affiliation (Current) 2025: 京都大学, 情報学研究科, 名誉教授
Affiliation (based on the past Project Information) *help 2022: 京都大学, 情報学研究科, 名誉教授
2012 – 2020: 京都大学, 情報学研究科, 名誉教授
2012: 京都大学, 大学院・情報学研究科, 名誉教授
1998 – 2011: Kyoto University, Graduate School of Infermatics, Professor, 情報学研究科, 教授
2009: Kyoto University, 大学院・情報学研究科, 教授 … More
2006 – 2007: 京都大学, 大学院・情報学研究科, 教授
2003: 京都大学, 工学部, 教授
1999 – 2001: 京都大学, 大学院・情報学研究科, 教授
1999 – 2000: 京都大学, 大学院・工学研究科, 教授
1998: 京都大学, 大学院工学研究科, 教授
1997: 京都大学, 大学院・工学研究科, 教授
1995 – 1997: Kyoto Univ., Graduate School of Engineering Professor, 工学研究科, 教授
1995 – 1997: 京都大学, 工学部, 教授
1995: 東北大学, 電通研, 教授
1994: 東北大学, 電機通信研究所, 教授
1987 – 1994: 東北大学, 電気通信研究所, 教授
1991 – 1992: 東北大学, 電子通信研究所, 教授
1991: 東北大学電気電信研究所, 教授
1989 – 1991: 東北大学, 電気電信研究所, 教授
1988 – 1989: 東北大学, 工学部・情報科学科, 教授
1986: Professor, Research Institn to of Electrical Communication, Tohoku University, 電気通信研究所, 教授 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Science and Engineering / Informatics / Software / Software / Philosophy/Ethics / General mathematics (including Probability theory/Statistical mathematics)
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / Philosophy / Science and Engineering / 計算機科学 / Fundamental theory of informatics / Intelligent informatics
Keywords
Principal Investigator
型理論 / メタ言語 / Constructive Programming / 関数型プログラム言語 / 構成的プログラミング / 直観主義論理 / 古典論理 / 証明支援系 / ソフトウェアの安全性 / クラス理論 … More / 抽象操作 / 変数の衝突 / 超変数 / 文法的対象 / 対象言語 / 文脈 / プログラムの検証 / 構成的数学 / 数理論理学 / Classical Logic / Intuitionistic Logic / Type Theory / Catch / プログラム合成 / 構成的論理 / 仕様記述・検証 / 証明検証 / メタ理論 / 式の理論 / ソフトウェア検証 / ソフトウェア開発 / 自然枠組 / 強正規化性 / 合流性 / 環境 / フレーゲ / 概念記法 / 無矛盾性 / 証明論 / フレーゲ論理学 / Program Synthesis / Program Verification / Proof / Functional Programming Language / Constructive Mathematics / 検証 / 証明プログラムの検証 / プログラムの合成 / 証明 / Functional programming language / verification of programs / data type / formal semantics of programs / constructive mathematics / 論理型プログラム言語 / データ型 / プログラムの形式的意味 / Context / Variable Collision / Meta Variable / Syntactic Object / Meta Language / Object Language / 計算体系 / キャッチ・スロー機構 / 算術 / deduction / model checking / knowledge acquisition / logic / philosophy of science / knowledge discovery / 分散計算環境 / モデル・チェッキング / 環境計算 / 演繹 / モデル検査 / 知識獲得 / 論理学 / 科学哲学 / 知識発見 / Modal Logic / Interactive Proof System / 証明エンジン / グラフィカルユーザインターフェース / 証明支援システム / 様相論理 / 対話的証明環境 / Throwcontrd / Throw機構 / キャッチスロー機構 / Lazy evaluation / Assignment Statement / Functional Programming / Proof Development System / Constructive Logic / プログラム検証 / 関数型プロゲーム言語 / 遅延評価 / 代入文 / 証明システム / Graph theory / Type theory / Constructive logic / Theory of programs / グラフ理論 / プログラム理論 / 項書換 / メタ変数 / Natural Framework / 変数参照 / 表現の理論 / 合成規則 / 明示的代入 / 導出 / 判断 / α同値性 / 具体化操作 / 表現理論 / 変数束縛 … More
Except Principal Investigator
論理学史 / 論理哲学 / 論理学 / 計算量理論 / 線形論理 / 定理証明 / constructive programming / プログラム理論 / 様相論理 / 計算モデル / プログラム言語 / 証明論 / ネットワークエージェント / 機械学習 / アブダクション / 科学的発見の論理 / データベース / データマイニング / 知識発見 / 発見科学 / 直観主義論理 / プログラミング言語 / タイプ理論 / 構成的プログラミング / 例による証明 / 自然言語 / 意味論 / Constructive Mathematics / Distributed Operating System / Graph Algorithms / Cellular Automata / Non-classical Logic / Theorem Proving / Program Synthesis / 幾何学算法 / 論理体系 / 算譜言語のモデル / 算譜言語 / 分散OS / 高階論理体系 / 算譜の検証 / 算譜の仕様 / 定理証明系 / セルオ-トマン / グラフ算法 / セルオ-トマトン / 非古典論理 / 算譜合成 / 生態生命情報学 / バイオテクノロジー / ナノバイオ / 自己組織化 / 生体生命情報学 / DNAコンピュータ / classical proof execution / learning theory / program logic / program verification / 学習理論 / Curry-Howardの対応 / 古典論理証明の実行 / 論理情報の視覚化 / 形式的証明の開発 / network agent / machine learning / abduction / logic of scientific discovery / database / data mining / knowledge science / discovery science / 知識科学 / computational complexity / programming semantics / artificial intelligence / relational calculus / computational logic / computer science / category theory / プログラミング意味論 / 人工知能 / 関係計算 / 計算論理学 / 計算機科学 / カテゴリー論 / Proof Theory / Intuitionistic Logic / Concurrency / Program Semantics / Program Verification / Programming Languages / Constructive Proof / Linear Logic / Type Theory / 直観主義理論 / 線形理論 / 平行計算 / プログラム意味論 / プログラム検証 / 構成的証明 / Music Information Processing / Structure of Proteins / Temporal Logic / Verification of Programs / Relational Algebra / Algebraic Semantics / Knowledge Propositional Logic / Identification of Differential Equations / グラフの構造 / 英文翻訳 / システム同定 / 時間の論理 / 文字列パターン / セルオートマトン / 高階単一化 / 音楽情報処理 / 蛋白質の構造 / 時相論理 / プログラムの検証 / 関係代数 / 代数的意味論 / 知識命題論理 / 微分方程式の同定 / LOGICS AND INFERENCE / PROGRAM SYNTHESIS / COMPUTATIONAL COMPLEXITY / COMPUTABLE LOGICS / THEORY OF PROGRAMS / DISCRETE ALGORITHMS / COMPUTER MATHEMATICS / 計算可能理論 / 論理と推論 / プログラム合成論 / 計算可能論理 / 散的アルゴリズム論 / 計算機数学 / Calculability / Abel Group / Stability Theory / Galois Theory / Definability / Boolean valued model / Information and Logic / Theory of Models / 安定群 / 超巾 / 計算機構論 / 集合論 / 論理 / 情報 / 超準解析 / 公理化 / 計算可能性 / ア-ベル群 / 安定性理論 / ガロアの理論 / 定義可能性 / ブ-ル値モデル / 情報と論理 / モデルの理論 / シソーラス / 談話生成 / 増進的曖昧性解消 / 概念の分析 / 意味表現形式 / 意味理解 / 限定継続 / 明示的環境 / 型理論 / 線形時間時相論理 / 環境適応型ソフトウェア / 実時間システム / 形式検証 / 形式仕様 / 論理的手法 / ソフトウェア開発 / 形式的仕様 / 形式的検証 / 理論情報科学 / 同期点解析 / データフロー解析 / オブジェクト並列 / MIMD / SPMD / SIMD / C言語 / 超並列計算機 / ソフトウエアプロセスの記述 / 項書き換系とナローイング / 証明チェッカ / 型理論とプログラム抽出 / ATMSを用いた項書換え系 / 構造化ネット / 高機能高品質ソフトウエア / アルゴリズム・アニメ-ション / 構成的数学体系RPT / 並列プロセス計算σー計算 / 並列プログラミング / 型理論ATTT / 論理と証明 / プログラム・モデル / 分散アルゴリズム / 並列アルゴリズム / 高階ユニフィケ-ション / 例によるプログラミング / 構成的数学体系 / 実行の論理 / プログラムの論理と証明 / 文生成 / 曖味性解消 / プログラム言語の意味論 / 下位関係 / 上位 / 意味表現 / 自然言語処理 / 比喩 / 知識表現 Less
  • Research Projects

    (43 results)
  • Research Products

    (71 results)
  • Co-Researchers

    (83 People)
  •  Deepening of a self-extendable software verification system based on class theoryPrincipal Investigator

    • 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
  •  Proof theoretic and semantical study of Fregean LogicPrincipal Investigator

    • Principal Investigator
      Sato Masahiko
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Philosophy/Ethics
    • Research Institution
      Kyoto University
  •  Construction of a self-extendable software verification system based on class theoryPrincipal Investigator

    • Principal Investigator
      Sato Masahiko
    • Project Period (FY)
      2013 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kyoto University
  •  New development of research on bug-free software construction environmentPrincipal Investigator

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      2010 – 2012
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kyoto University
  •  Software development environment based on integration of computation and logicPrincipal Investigator

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kyoto University
  •  安全・安心な環境適応型ソフトウェアの基礎理論に関する研究

    • 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
  •  変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator

    • 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
  •  変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator

    • Principal Investigator
      佐藤 雅彦
    • Project Period (FY)
      2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Kyoto University
  •  日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究

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

    • Principal Investigator
      佐藤 雅彦
    • Project Period (FY)
      2002
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Kyoto University
  •  特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究

    • Principal Investigator
      岡田 光弘
    • Project Period (FY)
      2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Philosophy
    • Research Institution
      Keio University
  •  分子プログラミング

    • Principal Investigator
      萩谷 昌己
    • Project Period (FY)
      2002 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      The University of Tokyo
  •  変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator

    • Principal Investigator
      佐藤 雅彦
    • Project Period (FY)
      2001
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (C)
    • Review Section
      Science and Engineering
    • Research Institution
      Kyoto University
  •  国際共同研究及び特定領域研究「新しい論理学の展開」のための企画

    • Principal Investigator
      岡田 光弘
    • Project Period (FY)
      2001
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Philosophy
    • Research Institution
      Keio University
  •  Calculi and Logic of Environment and ContextPrincipal Investigator

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Kyoto University
  •  国際共同研究及び特定領域研究「新しい論理学の展開」のための企画研究

    • Principal Investigator
      岡田 光弘
    • Project Period (FY)
      2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Philosophy
    • Research Institution
      Keio University
  •  特定領域研究「新しい論理学の展開」のための企画研究

    • Principal Investigator
      岡田 光弘
    • Project Period (FY)
      1999
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Philosophy
    • Research Institution
      Keio University
  •  Logic of Knowledge DiscoveryPrincipal Investigator

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Kyoto University
  •  Foundations of Knowledge Discovery from Science and Business Information

    • Principal Investigator
      ARIKAWA Setsuo
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Kyushu University
  •  Implementation of Constructive Programming Based on Classical LogicPrincipal Investigator

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
  •  Proof Animation -testing proofs by constructive programming-

    • Principal Investigator
      HAYASHI Susumu
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      計算機科学
    • Research Institution
      Kobe University
  •  タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  巨大学術社会情報からの知識発見に関する基礎研究

    • Principal Investigator
      ARIKAWA Setsuo
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      Kyushu University
  •  An interdisciplinary study on categorical computer mathematics

    • Principal Investigator
      KAWAHARA Yasuo
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      KYUSHU UNIVERSITY
  •  Theory of Constructive ProgrammingPrincipal Investigator

    • 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 SystemsPrincipal Investigator

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
  •  Application of type theory and linear logic for Programming Languages

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for international Scientific Research
    • Research Institution
      Keio University
  •  Synthetic Research on the Theory of Algorithms

    • Principal Investigator
      KOBAYASHI Kojiro
    • Project Period (FY)
      1994 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Institute of Technology
  •  Constructive Programming System for Proof Development, Verification, and Program SynthesisPrincipal Investigator

    • 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
      伊藤 貴康
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  超並列記述系・処理系に関する研究

    • Principal Investigator
      雨宮 真人
    • Project Period (FY)
      1992 – 1994
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Kyushu University
  •  高機能高品質ソフトウェアの基礎理論

    • Principal Investigator
      伊藤 貴康
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  Co-operative Research on Discrete Computer Mathematics

    • Principal Investigator
      ARIKAWA Setsuo
    • Project Period (FY)
      1991 – 1992
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      KYUSHU UNIVERSITY
  •  人間と機械における情報の表現と意味に関する研究

    • Principal Investigator
      田中 穂積
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tokyo Institute of Technology
  •  高機能高品質ソフトウエアの基礎理論

    • Principal Investigator
      伊藤 貴康
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  Co-operative research on foundational theories of programsPrincipal Investigator

    • 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
  •  Co-operative Research of Theory of Models and related fields

    • Principal Investigator
      MOTOHASHI Nobuyoshi
    • Project Period (FY)
      1989 – 1991
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  人間と機械における情報の表現と意味に関する研究

    • Principal Investigator
      田中 穂積
    • Project Period (FY)
      1988 – 1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tokyo Institute of Technology
  •  人間と機械における情報の表現と意味に関する研究

    • Principal Investigator
      田中 穂積
    • Project Period (FY)
      1988 – 1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tokyo Institute of Technology
  •  Co-Operative Research on Discrete Mathematics for Information

    • Principal Investigator
      HIROSE Ken
    • Project Period (FY)
      1988 – 1990
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Waseda University
  •  自然言語とコンピュータソフトウェアの基本問題に関する日米協力研究

    • Principal Investigator
      福村 晃夫
    • Project Period (FY)
      1987
    • Research Category
      Grant-in-Aid for Overseas Scientific Research
  •  Design of Proving, Verifying, and Synthesizing System based on ConstructivePrincipal Investigator

    • 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
  •  Design of a functional logic programming language, and development of proof, vorification and synthosis system based on it.Principal Investigator

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1985 – 1986
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      TOHOKU UNIVERSITY
      The University of Tokyo

All 2020 2019 2018 2017 2016 2015 2013 2012 2011 2010 2008 2007 2006 2005 2004 2003 2002 Other

All Journal Article Presentation

  • [Journal Article] 証明支援系と型理論2020

    • Author(s)
      佐藤雅彦
    • Journal Title

      科学哲学

      Volume: 53 Pages: 3-23

    • NAID

      130008009632

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17H01724
  • [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] フレーゲ哲学の現代的意義 - 野本和幸著『フレーゲ哲学の全貌』を読む -2016

    • Author(s)
      佐藤雅彦
    • Journal Title

      科学哲学

      Volume: 49 Pages: 67-84

    • NAID

      130005279437

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-16K13150
  • [Journal Article] フレーゲ哲学の現代的意義 - 野本和幸著『フレーゲ哲学の全貌』を読む -2016

    • Author(s)
      佐藤雅彦
    • Journal Title

      科学哲学

      Volume: 49 Pages: 67-84

    • NAID

      130005279437

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-25280025
  • [Journal Article] 項書き換えシステムの変換を利用した帰納的定理自動証明2015

    • Author(s)
      佐藤洸一, 菊池健太郎, 青戸等人, 外山 芳人
    • Journal Title

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

      Volume: 32 Pages: 179-193

    • NAID

      130004892317

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280025
  • [Journal Article] Correctness of context-moving transformations for term rewriting systems2015

    • Author(s)
      Koichi Sato, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 9527 Pages: 331-345

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280025
  • [Journal Article] Viewing λ-terms through Maps2013

    • Author(s)
      M. Sato, R. Pollack, H. Schwichtenberg, T. Sakurai
    • Journal Title

      Indagationes Mathematicae

      Volume: 24 Issue: 4 Pages: 1073-1104

    • DOI

      10.1016/j.indag.2013.08.003

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24650002, KAKENHI-PROJECT-25280025
  • [Journal Article] A Canonical LocalRepresentation of Binding2012

    • Author(s)
      Randy Pollack, Masahiko Sato andWilmer Ricciotti
    • Journal Title

      Journal ofAutomated Reasoning

      Volume: Vol. 49 Pages: 185-207

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300008
  • [Journal Article] A Canonical Local Representation of Binding2011

    • Author(s)
      Randy Pollack, Masahiko Sato, Wilmer Ricciotti
    • Journal Title

      a special issue of Journal of Automated Reasoning

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300008
  • [Journal Article] External and internal syntax of the λ-calculus2010

    • Author(s)
      Masahiko Sato, Randy Pollack
    • Journal Title

      Journal of Symbolic Computation

      Volume: 45 Pages: 598-616

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300008
  • [Journal Article] External and internal syntax of thelambda-calculus2010

    • Author(s)
      Masahiko Sato, and Randy Pollack
    • Journal Title

      Journal of SymbolicComputation

      Volume: Vol.45

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300008
  • [Journal Article] External and Internal Syntax of the Lambda-Calculus2008

    • Author(s)
      Masahiko Sato
    • Journal Title

      The Austrian-Japanese Workshop on Symbolic Computation in Software Science

      Pages: 176-195

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300007
  • [Journal Article] A Framework for Checking Proofs Naturally2008

    • Author(s)
      佐藤雅彦
    • Journal Title

      Journal of Intelligent Information System 31

      Pages: 111-125

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300007
  • [Journal Article] A Framework for Checking Proofs Naturally2008

    • Author(s)
      M. Sato
    • Journal Title

      Journal of Intelligent Information Systems 31

      Pages: 111-125

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300007
  • [Journal Article] フレーゲの計算機科学への影響2008

    • Author(s)
      佐藤 雅彦
    • Journal Title

      分析哲学の誕生(日本科学哲学会編, 勁草書房)

      Pages: 127-141

    • NAID

      130003640618

    • Data Source
      KAKENHI-PROJECT-19300007
  • [Journal Article] フレーゲの計算機科学への影響2008

    • Author(s)
      佐藤雅彦
    • Journal Title

      分析哲学の誕生 (日本科学哲学会編)(勁草書房)

      Pages: 127-141

    • NAID

      130003640618

    • Data Source
      KAKENHI-PROJECT-19300007
  • [Journal Article] Combining randomness and a high-capacity DNA memory2008

    • Author(s)
      Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, and Masami Hagiya
    • Journal Title

      DNA Computing: 13th International Workshop on DNA Computing, DNA13, LNCS Vol.4848

      Pages: 109-118

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] フレーゲの計算機科学への影響2008

    • Author(s)
      佐藤雅彦
    • Journal Title

      分析哲学の誕生(日本科学哲学会編,勤草書房)

      Pages: 127-141

    • NAID

      130003640618

    • Data Source
      KAKENHI-PROJECT-19300007
  • [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-19300007
  • [Journal Article] Calculi of Meta-variables2008

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

      Frontiers of Computer Science in China 2(1)

      Pages: 12-21

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300007
  • [Journal Article] A Framework for Checking Proofs Naturally, Journal of Intelligent2008

    • Author(s)
      Masahiko Sato
    • Journal Title

      Information Systems 31

      Pages: 111-125

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

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

      Frontiers of Computer Science in China 2(1)

      Pages: 12-21

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300007
  • [Journal Article] External and Internal Syntax of the Lambda-Calculus2008

    • Author(s)
      佐藤雅彦
    • Journal Title

      The Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)

      Pages: 176-195

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300007
  • [Journal Article] External and Internal Syntax of the Lambda- Calculus2008

    • Author(s)
      M. Sato
    • Journal Title

      The Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)

      Pages: 176-195

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300007
  • [Journal Article] Combining Randomness and a High-capacity DNA Moemry2007

    • Author(s)
      Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya
    • Journal Title

      Preliminary Proceedings of the 13th International Meeting on DNA Computing 1

      Pages: 261-269

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] DNA Memorty with 16.8M addresses2007

    • Author(s)
      Masahito Yamamoto, Satoshi Kashiwamura, Azuma Ohuchi
    • Journal Title

      Preliminary Proceedings of the 13th International Meeting on DNA Computing 1

      Pages: 19-29

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Development of DNA Relational Database and Data Manipulation Experiments2006

    • Author(s)
      Masahito Yamamoto, Yutaka Kita, Satoshi Kashiwamura, Atsushi Kameda, Azuma Ohuchi
    • Journal Title

      DNA Computing (DNA12), Lecture Notes in Computer Science 4287

      Pages: 418-427

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Data Manipulation of DNA Relational Database2006

    • Author(s)
      Yutaka Kita, Satoshi Kasbiwamura, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi
    • Journal Title

      The Eleventh International Symposium on Artificial Life and Robotics (AROB 11th'06) 1

      Pages: 1-5

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] 計算と論理のための自然枠組NF/CAL2006

    • Author(s)
      佐藤雅彦
    • Journal Title

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

    • NAID

      110004815101

    • Data Source
      KAKENHI-PROJECT-18049044
  • [Journal Article] Reversible Signal Amplification by Linear Hybridization Chain Reaction2006

    • Author(s)
      Tomohiro Suzuki, Ken Komiya, Satoshi Murata
    • Journal Title

      Preliminary Proceedings of 12^<th> International Meeting on DNA Computing (DNA11) 1

      Pages: 418-418

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Reversible Signal Amplification by Linear Hybridization Chain Reaction2006

    • Author(s)
      Tomohiro Suzuki, Ken Komiya, Satoshi Murata
    • Journal Title

      Preliminary Proceedings of 12^<th> International Meeting on DNA Computing (DNA11)

      Pages: 418-418

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Development of DNA Relational Database and Data Manipulation Experiments2006

    • Author(s)
      Masahito Yamamoto, Yutaka Kita, Satoshi Kashiwamura, Atsushi Kameda, Azuma Ohuchi
    • Journal Title

      DNA Computing (DNA12), Lecture Notes in ComputerScience 4287

      Pages: 418-427

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Modified substrate specificity of pyrroloquinoline quinone glucose dehydrogenase by biased mutation-assembling with optimized amino acid substitution2006

    • Author(s)
      Hamamatsu, N., Suzumura, A., Nomiya, Y., Sato, M., Aita, T., Nakajima, M., Husimi, Y., Shibanaka, Y.
    • Journal Title

      Applied Microbiology and Biotechnology 73

      Pages: 607-617

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Self-Assembling Systems2006

    • Author(s)
      Satoshi Murata
    • Journal Title

      9^<th> Japanese-American Kavli Frontiers of Science Symposium, National Academy of Sciences (JAFoS) 1(CD-ROM)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Self-Assembling Systems2006

    • Author(s)
      Satoshi Murata
    • Journal Title

      9^<th> Japanese-American Kavli Frontiers of Science Symposium, National Academy of Sciences (JAFoS) (CD-ROM)

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Computation by DNA Molecule2006

    • Author(s)
      Satoshi Murata
    • Journal Title

      SCIS&ISIS 2006 (invited session)

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Computation by DNA Molecule2006

    • Author(s)
      Satoshi Murata
    • Journal Title

      SCIS&ISIS 2006 (invited session) 1

      Pages: 1-5

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Strong normalization proofs by CPS-translations2006

    • Author(s)
      Satoshi Ikeda, Koji Nakazawa
    • Journal Title

      Information Processing Letters 99

      Pages: 163-170

    • Data Source
      KAKENHI-PROJECT-18049044
  • [Journal Article] Efficient algorithm for testing structure freeness of finite set of biomolecular sequences2005

    • Author(s)
      Atsushi Kijima, Satoshi Kobayashi
    • Journal Title

      Proceedings of 11th International Meeting on DNA BasedComputers 1

      Pages: 278-288

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Predicting the Expression Levels of Recombinant Protein by using Reinforcement Learning2005

    • Author(s)
      Satoshi Kira, Masayuki Yamamura, Seiki Kuramitsu
    • Journal Title

      Proc.of the 8th IASTED International Conference on Intelligence Systems and Control (ISC2005)

      Pages: 471-476

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] A Simple Theory of Expressions, Judgments and Derivations2005

    • Author(s)
      Masahiko Sato
    • Journal Title

      Proc. ASIAN '04,LNCS 3221

      Pages: 437-451

    • Data Source
      KAKENHI-PROJECT-16016245
  • [Journal Article] Potential for enlarging DNA memory : the validity of experimental operations of scaled-up nested primer molecular memory2005

    • Author(s)
      Satoshi Kashiwamura, Masahito Yamamoto, Atsushi Kameda, Toshikazu Shiba, Azuma Ohuchi
    • Journal Title

      Biosystems Vol. 80, No. 1

      Pages: 99-112

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] フレーゲの計算機科学への影響2005

    • Author(s)
      佐藤 雅彦
    • Journal Title

      科学哲学 38(2)

      Pages: 21-33

    • NAID

      130003640618

    • Data Source
      KAKENHI-PROJECT-16016245
  • [Journal Article] General Protocol for Evaluating the Degree of Occurrence of Mis-Hybridization2004

    • Author(s)
      Satoshi Kashiwamura, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi
    • Journal Title

      Proceedings of the Ninth International Symposium on Artificial Life and Robotics (AROB 9th'04) 1

      Pages: 303-308

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Testing Structure Freeness of Regular Sets of Biomolecular Sequences2004

    • Author(s)
      Satoshi Kobayashi
    • Journal Title

      Proceedings of 10th International Meeting on DNA Based Computers 1

      Pages: 395-404

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] An Algorithm for Testing Structure Freeness of Biomolecular Sequences2004

    • Author(s)
      Satoshi Kobayashi, Takashi Yokomori, Yasubumi Sakakibara
    • Journal Title

      Lecture Notes in Computer Science Vol.2950

      Pages: 266-277

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Two-step Search for DNA Sequence Design, IEICE TRANSACTIONS on Fundamentals of Electronics2004

    • Author(s)
      Satoshi Kashiwamura, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi
    • Journal Title

      Communications and Computer Sciences Vol. E87-A, N0. 6

      Pages: 1446-1453

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Evaluating Biomolecular Sequences Using Hydrogen Bond Network Graph2004

    • Author(s)
      Kazuya Nagatsu, Atsushi Kijima, Satoshi Kobayashi
    • Journal Title

      Proceedings of 10th International Meeting on DNA Based Computers 1

      Pages: 441-441

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Evaluation and Benchmarking2003

    • Author(s)
      Satoshi Kashiwamura, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuehi
    • Journal Title

      Proceedings of Workshop on Simulation Tools for Biomolecular Computing in 2003 Congress on Evolutionary Computation 1

      Pages: 22-26

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Structure Free Sequences for Biomolecular Computing2003

    • Author(s)
      Satoshi Kobayashi
    • Journal Title

      The 990th American. Mathematical Society Fall EasternSectional Meeting 1

      Pages: 80-80

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] An Algorithm for Testing Structure Freeness of Biomolecular Sequences2003

    • Author(s)
      Satoshi Kobayashi, Takashi Yokomori, Yasubumi Sakakibara
    • Journal Title

      Lecture Notes in Computer Science 2950

      Pages: 266-277

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Two-step Search for DNA Seauence Design2003

    • Author(s)
      Satoshi Kashiwamura, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi
    • Journal Title

      Proceedings of the 2003 International Technical Conference on Circuits/Systems, Computers and Communications 1

      Pages: 1-5

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] A method for extracting globally structure free set of sequences2003

    • Author(s)
      Satoshi Kobayashi, Tomohiro Kondo, Kohei Okuda, Etsuji Tomita
    • Journal Title

      Technical Report of IEICE COMP2003-16

      Pages: 1-6

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Towards Optimization of PCR Protocol in DNA Computing2002

    • Author(s)
      Satoshi Kashiwamura, Masashi Nakatsugawa, Masahito Yamamoto, Toshikazu Shiba, Azuma Ohuchi
    • Journal Title

      DNA Computing (DNA7), LNCS 2340

      Pages: 14-22

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Towards a High Reliability of the PCR Amplification Process in DNA Computing2002

    • Author(s)
      Masashi Nakatsugawa, Satoshi Kashiwamura, Masahito Yamamoto, Toshikazu Shiba, Azuma Ohuchi
    • Journal Title

      International Journal of Computational Intelligence and Applications Vol. 2, No. 4

      Pages: 423-432

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Hierarchical DNA Memory based on Nested PCR2002

    • Author(s)
      Satoshi Kashiwamura, Masahito Yamamoto, Atsushi Kameda, Toshikazu Shiba, Azuma Ohuchi
    • Journal Title

      Proceedings of 8th International Meeting on DNA Based Computers 1

      Pages: 231-240

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Horn Clause Computation by Self-Assembly of DNA Molecules2002

    • Author(s)
      Hiroki Uejima, Masami Hagiya, Satoshi Kobayashi
    • Journal Title

      DNA7 Lecture Notes in Computer Science Vol. 2340

      Pages: 308-320

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [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] Reflections on the eta-rule of the lambda-calculus2019

    • Author(s)
      Masahiko Sato
    • Organizer
      Oberseminar, Ludwig Maximillian University of Munich
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01724
  • [Presentation] Reflections on the eta-rule of the lambda-calculus2019

    • Author(s)
      Masahiko Sato
    • Organizer
      Oberseminar, Ludwig Maxmililan University of Munich
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K13150
  • [Presentation] A common notation system for the lambda calculus and combinatory logic2018

    • Author(s)
      Masahiko Sato
    • Organizer
      Second Workshop on Mathematical Logic and its Applications
    • Data Source
      KAKENHI-PROJECT-17H01724
  • [Presentation] A common notation system for the lambda calculus and combinatory logic2018

    • Author(s)
      Masahiko Sato
    • Organizer
      Second Workshop on Mathematical Logic and its Applications
    • Data Source
      KAKENHI-PROJECT-16K13150
  • [Presentation] A common notation system for both lambda calculus and combinatory logic2017

    • Author(s)
      Masahiko Sato
    • Organizer
      Oberseminar Mathematische Logik, (LMU Munich, Mathematisces Institut)
    • Data Source
      KAKENHI-PROJECT-17H01724
  • [Presentation] A common notation system for both lambda calculus and combinatory logic.2017

    • Author(s)
      Masahiko Sato
    • Organizer
      Oberseminar Mathematische Logik, (LMU Munic, Mathematisces Institut)
    • Data Source
      KAKENHI-PROJECT-16K13150
  • [Presentation] 計算と論理2015

    • Author(s)
      佐藤 雅彦
    • Organizer
      情報処理学会 第77回全国大会
    • Place of Presentation
      京都大学
    • Year and Date
      2015-03-17
    • Invited
    • Data Source
      KAKENHI-PROJECT-25280025
  • [Presentation] 私の基礎研究2015

    • Author(s)
      佐藤雅彦
    • Organizer
      日本ソフトウェア科学会第32回大会
    • Place of Presentation
      早稲田大学理工学部
    • Year and Date
      2015-09-10
    • Invited
    • Data Source
      KAKENHI-PROJECT-25280025
  • [Presentation] Viewing lambda-termsthrough maps2013

    • Author(s)
      佐藤 雅彦
    • Organizer
      3rd Workshop on Proof Theory and Rewriting
    • Place of Presentation
      石川県立美術館 (金沢市)
    • Year and Date
      2013-03-07
    • Data Source
      KAKENHI-PROJECT-22300008
  • [Presentation] External and Internal Syntax of the Lambda-Calculus, The Austrian-Japanese2008

    • Author(s)
      Masahiko Sato
    • Organizer
      Workshop on Symbolic Computation in Software Science (SCSS 2008)(176-195)
    • Data Source
      KAKENHI-PROJECT-19300007
  • [Presentation] Viewing lambda-terms through maps

    • Author(s)
      佐藤 雅彦
    • Organizer
      3rd Workshop on Proof Theory and Rewriting
    • Place of Presentation
      石川県立美術館
    • Data Source
      KAKENHI-PROJECT-22300008
  • [Presentation] A name-free lambda calculus

    • Author(s)
      Masahiko Sato
    • Organizer
      JAIST Logic Workshop Series 2015: Constructivism and Computablility
    • Place of Presentation
      Shiinoki Cultural Complex, Kanazawa
    • Year and Date
      2015-03-02 – 2015-03-06
    • Invited
    • Data Source
      KAKENHI-PROJECT-25280025
  • [Presentation] A name-free lambda calculus

    • Author(s)
      Masahiko Sato
    • Organizer
      TPP 2014: Theore proving and provers for reliable theory and implementations
    • Place of Presentation
      Kyushu University
    • Year and Date
      2014-12-03 – 2014-12-05
    • Data Source
      KAKENHI-PROJECT-25280025
  • 1.  KAMEYAMA Yukiyoshi (10195000)
    # of Collaborated Projects: 11 results
    # of Collaborated Products: 2 results
  • 2.  HAGIYA Masami (30156252)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 3 results
  • 3.  OKADA Mitsuhiro (30224025)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 0 results
  • 4.  SAKURAI Takafumi (60183373)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 1 results
  • 5.  IGARASHI Atsushi (40323456)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 3 results
  • 6.  HAYASHI Susumu (40156443)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 7.  ARIKAWA Setsuo (40037221)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 8.  NAKAZAWA Koji (80362581)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 1 results
  • 9.  TAKEUTI Izumi (20264583)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 10.  MIYANO Satoru (50128104)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 11.  野家 茂樹 (50198636)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 12.  TATSUTA Makoto (80216994)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 13.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 14.  田中 穂積 (80163567)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 15.  岡田 直之 (80037837)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 16.  伊藤 貴康 (80124551)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 17.  土屋 俊 (50155404)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 18.  飯田 隆 (10117327)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 19.  岩田 孝 (80176552)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 20.  YUASA Taiichi (60158326)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 21.  萩原 兼一 (00133140)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 22.  ENOMOTO Hikoe (00011669)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 23.  KAWAHARA Yasuo (90091181)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 24.  KOBAYASHI Kojiro (00016148)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 25.  YOSUGI Mariko (90022277)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 26.  IDA Tetsuo (70100047)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 27.  TAKAHASHI Masako (00015588)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 28.  OHORI Atsushi (60252532)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 29.  KANADA Yaumasa (90115551)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 30.  MARUOKA Akira (50005427)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 31.  SATO Taisuke (90272690)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 32.  KOBAYASHI Naoki (00262155)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 33.  YAMAMOTO Akihiro (30230535)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 34.  UESU Tadahiro (60015550)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 35.  HIROSE Ken (60063632)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 36.  米澤 明憲 (00133116)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 37.  MOTOHASHI Nobuyoshi (70015874)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  TSUBOI Akito (30180045)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  EDA Katsuya (90015826)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  KANO Mikio (20099823)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  IGARASHI Shigeru (80027367)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  SAWAMURA Hajime (40282991)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  NOE Keiichi (40103220)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  TAMURA Naoyuki (60207248)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 45.  NAKAHARA Hayao (80115899)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 46.  YONEDA Nobuo (50080487)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 47.  NAKAJIMA Reiji (60109080)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 48.  FUJINO Seiichi (20037146)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 49.  IRI Masao (40010722)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 50.  野村 浩郷 (30208392)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 51.  日高 達 (30037931)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 52.  中村 順一 (30164304)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 53.  榎本 肇 (60016227)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 54.  雨宮 真人 (90202697)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 55.  相田 仁 (00175712)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 56.  牧之内 顕文 (30221576)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 57.  二木 厚吉 (50251971)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 58.  米崎 直樹 (00126286)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 59.  外山 芳人 (00251968)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 60.  笠井 琢美 (70027382)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 61.  伊藤 達郎 (90015909)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 62.  向井 国昭 (80245597)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 63.  小林 重信 (40016697)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 8 results
  • 64.  小長谷 明彦 (00301200)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 65.  塩谷 光彦 (60187333)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 66.  陶山 明 (90163063)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 67.  横森 貴 (60139722)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 68.  山村 雅幸 (00220442)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 69.  小野 治 (50130802)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 70.  都甲 潔 (50136529)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 71.  福村 晃夫 (60022985)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 72.  山梨 正明 (80107086)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 73.  長尾 真 (30025960)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 74.  辻井 潤一 (20026313)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 75.  郡司 隆男 (10158892)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 76.  稲垣 康善 (10023079)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 77.  秋吉 亮太 (20587852)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 78.  OHTANI Takeshi
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 79.  PARIGOT Michel
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 80.  HUET Gerard
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 81.  JOUANNAUD Jean-Pierre
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 82.  CURIEN Pierre-Luis
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 83.  GIRARD Jan-Yves
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 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