Sato Masahiko 佐藤雅彦

… Alternative Names

Researcher Number	20027387
Other IDs
External Links
Affiliation (Current)	2022: 京都大学, 情報学研究科, 名誉教授
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
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 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

クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化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

[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

Sato Masahiko 佐藤 雅彦

SATO Masahiko 佐藤 雅彦

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Proof theoretic and semantical study of Fregean LogicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Construction of a self-extendable software verification system based on class theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

New development of research on bug-free software construction environmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software development environment based on integration of computation and logicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Sato Masahiko 佐藤雅彦

SATO Masahiko 佐藤雅彦