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

    (43 results)
  • Research Products

    (70 results)
  • Co-Researchers

    (83 People)
  •  クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化Principal Investigator

    • Principal Investigator
      佐藤 雅彦
    • 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] Module generation without regret2020

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

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

      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 lambda-terms through maps2013

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

      Indagationes Mathematicae

      Volume: 24 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 connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi