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

Hayashi Susumu  林 晋

ORCIDConnect your ORCID iD *help
… Alternative Names

HAYASHI Susumu  林 晋

林 普  ハヤシ ススム

Less
Researcher Number 40156443
External Links
Affiliation (based on the past Project Information) *help 2021: 京都大学, 文学研究科, 教授
2014 – 2018: 京都大学, 文学研究科, 教授
2015: 京都大学, 大学院文学研究科, 教授
2012: 京都大学, 大学院・文学研究科, 教授
2010 – 2012: 京都大学, 文学研究科, 教授 … More
2010: 京都大学, 大学院・文学研究科, 教授
2007: 京都大学, 大学院・文学研究科, 教授
2006: Kyoto University, Graduate School of Letters, Professor, 大学院文学研究科, 教授
2005: 京都大学, 大学院・文学研究科, 教授
2005: 京都大学, 文学研究科, 教授
1995 – 2004: Kobe University, Department of Computer and Systems Engineering, Professor, 工学部, 教授
2000: 神戸大学, 工学部・情報知能工学科, 教授
1995: 神戸大学, 工学部・情報知能工学科, 教授
1995: 神戸大学, 理工学部, 教授
1992 – 1994: 龍谷大学, 理工学部, 教授
1991: 龍谷大学, 理工学部, 助教授
1990: 龍谷大学, 理工学部・数理情報学科, 助教授
1986 – 1987: 京都大学, 数理解析研究所, 助手 Less
Review Section/Research Field
Principal Investigator
計算機科学 / History of thought / Sociology/History of science and technology / Cultural assets study and museology / Library and information science/Humanistic social informatics / Intelligent informatics / Science and Engineering
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / General mathematics (including Probability theory/Statistical mathematics) … More / Japanese history / Science and Engineering / Philosophy/Ethics / Informatics / Fundamental theory of informatics / 解析学 Less
Keywords
Principal Investigator
プログラム検証 / classical proof execution / 学習理論 / 形式的技法 / Program verification / 形式的方法 / 構成的プログラミング / 社会学的手法 / David Hilbert / E. du Bois-Reymond … More / イグノラビムス論争 / 社会グラフ / 生命科学 / social graph / 数理論理学史 / 数学基礎論史 / 古地震学 / 古文書のWEB / 古地震学の古文書資源 / 古文書ウェブ / 文化資源 / 崩し字古文書 / 学習ベースクラウドソーシング / 古文書翻刻 / デジタル・ヒューマニティーズ / クラウド翻刻 / 人文情報学 / 市民参加型翻刻 / mathematical logic / Inductive inference / 非構成的原理 / 非構成的論理 / 極限計算 / 形式的証明 / 古典論理証明実行 / 数理論理学 / inductive inference / learning theory / program logic / program verification / constructive programming / Curry-Howardの対応 / 古典論理証明の実行 / 論理情報の視覚化 / 定理証明 / 形式的証明の開発 / Formal methods / Program synthesis / 形式的仕様記述 / 最適化 / プログラム合成 / Program logic / Constructive programming / 構成的数学 / 型理論 / プログラム論理 / 新京都学派アーカイブ / 谷川徹三資料 / 西田幾多郎旧宅の保全活動 / 京都学派アーカイブ新バージョン / 史料研究 / 京都学派 / WEBアーカイブ / テキスト生成研究 / WEBアーカイブ / 京都学派の哲学 / 手書き史料情報処理 / 協働作業支援 / 歴史情報学 / 情報メディア / ゲーム意味論 / 論理学 / ゲーム理論 / 論理 / PAC学習 / tracebility / TDD / Unit test / Modeling / Requirement / Reasoning / Traceability / UML / admissible rule / 多相型 / プログラム言語における型理論 … More
Except Principal Investigator
線形論理 / Linear Logic / 極限再帰性 / プログラミング言語 / タイプ理論 / 計算可能性 / ドメイン理論 / 実時間システム / 形式検証 / 形式仕様 / 関数型言語 / Type Theory / プログラム意味論 / プログラム検証 / 列計算可能性 / 枢密院 / SMART-GS / 倉富勇三郎日記 / 倉富勇三郎 / 極限再帰関数 / 実効的一様位相 / 帰納論理 / 帰納推論 / 極限同定 / 始祖学習 / 形式的仕様 / 直観主義論理 / 構成的プログラミング / 哲学 / 2次翻刻 / 1次翻刻 / 日本哲学 / 哲学形成 / 2次翻刻 / 1次翻刻 / 全集別巻 / 未公開ノート類 / 西田哲学 / 日本哲学史 / 未公開ノート / デジタルアーカイブ / 全集別巻刊行 / 研究資料化 / 翻刻 / 水損資料の修復 / 未公開ノート資料 / 西田幾多郎 / 宮内省 / LISP generalizatin of programs fuctional language / type theory / intuitionistic predicate calculus / Program synthesis / 型付関数型言語 / 定理の証明 / マルチウィンドウシステム / プログラムの一般化 / LISP / 型論理 / 直観主義述語論理 / プログラム合成 / Fractals with infinite bases / Proof animation / Limit recursion / Effective Fine convergence of function sequences / Effective sequence of Fine continuous functions / limit / Effective sequence of uniformities / Effective continuity / Computable analysis / Fine-空間 / アナログ計算 / 逆数学 / コーディング / Fine位相 / 無限のベースのフラクタル / 無限ベースのフラクタル / 証明アニメーション / 関数列の実効的Fine収束 / 実効的Fine連続関数列 / 実効的一様位相列・極限 / 実効的連続性 / 計算可能解析学 / Real-Time System / Formal Specification / Formal Verifieation / 定時間システム / Constructive logic / Linear operator / Domain theory / Limit computability / Uniform space / Piecewise continuous function / Effectivity / Computability structure / 排中律 / 連続体 / 型2マシン / Σ^0_1-排中律 / グレーコード / 関数空間 / 不連続関数 / 構成的理論 / 構成的論理 / 線形作用素 / 極限計算可能性 / 一様位相空間 / 区分的不連続関数 / 実効性 / 計算可能性構造 / Real Time System / Formal Verification / Formal specification / Proof Theroy / Programming Language / Functional Language / 情報科学の論理 / 形式的プログラム検証 / 証明論 / プログラム言語理論 / constructive programming / computational complexity / programming semantics / artificial intelligence / relational calculus / computational logic / computer science / category theory / 計算量理論 / プログラミング意味論 / 人工知能 / 関係計算 / 計算論理学 / 計算機科学 / カテゴリー論 / Proof Theory / Intuitionistic Logic / Concurrency / Program Semantics / Program Verification / Programming Languages / Constructive Proof / プログラム言語 / 直観主義理論 / 線形理論 / 平行計算 / 構成的証明 / Mathematical logic / Linear logic / Non-standard analysis / ideal / Non-standard logic / BCK algchra / Supercompect Cardinals / Inner Models / New-stardird Analysis / Motomsthematics / Reverse Mathemtics / Substructural Logic / Honest Polynomial Degree / ファイマン種分 / 型理論 / recursive ordinal / elementary embedding / Browerian-valued model / substructural logic / クリプケモデル / 安定性理論 / 集合論的トポロジー / 数理論理学 / 線形論理学 / 超準解析 / イデアル / 非標準論理学 / 計算機上の実現 / 形式的体系の解釈 / グラフ有向集合 / Fine可積分関数 / 計算可能分布 / 単調有界性原理 / 実効的一様性 / フラクタル / 2次元Fine可積分関数 / 実効的収束 / 数理哲学 / マルチフラクタル / 極限再帰の数学の体系 / 数学基礎論 / Fine計算可能関数 / 計算可能確率分布 / SMATR-GS / 宮中 / 宮中問題 / SMART -GS / 倉富日記 / 近現代史 / ゲーム・ソフトウェア / バックトラッキング / カット・三段論法 / 構成的論理体系 / ゲームサイトセマンティックス / ゲームセマンティックス / 有限基底定理 / 変換意味論 / 必勝法 / バックトラック / ゲーム意味論 / セミ古典論理 / メタ論理プログラミング / 基底定理 / 反単一化 / 静的解析 / 論理型言語 / ソフトウェア開発 / 形式的検証 / 理論情報科学 / 補完理論 / 境界安定化 / 作用素方程式 / ソボレフ空間 / 移動半群 / 分数ベキ / フィードバック境界条件 / 楕円型作用素 / ソフトウエアプロセスの記述 / 項書き換系とナローイング / 証明チェッカ / 型理論とプログラム抽出 / ATMSを用いた項書換え系 / 構造化ネット / 高機能高品質ソフトウエア / アルゴリズム・アニメ-ション / 例による証明 / 構成的数学体系RPT / 並列プロセス計算σー計算 / 並列プログラミング / 型理論ATTT / 論理と証明 / プログラム・モデル Less
  • Research Projects

    (33 results)
  • Research Products

    (53 results)
  • Co-Researchers

    (78 People)
  •  Kitaro Nishida's research materials on notebooks and research on the process of philosophical formation

    • Principal Investigator
      Asami Hiroshi
    • Project Period (FY)
      2017 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Philosophy/Ethics
    • Research Institution
      Ishikawa Prefectural Nursing University
  •  History of the foundations of mathematics via sociological and inforrmatiics methodsPrincipal Investigator

    • Principal Investigator
      Hayashi Susumu
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Sociology/History of science and technology
    • Research Institution
      Kyoto University
  •  Towards Web of KomonjyoPrincipal Investigator

    • Principal Investigator
      Hayashi Susumu
    • Project Period (FY)
      2015 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Cultural assets study and museology
    • Research Institution
      Kyoto University
  •  Historical investigation on the Kyoto School of PhilosophyPrincipal Investigator

    • Principal Investigator
      Hayashi Susumu
    • Project Period (FY)
      2014 – 2015
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      History of thought
    • Research Institution
      Kyoto University
  •  Study of Kuratomi Yuzaburo Diary; Making Full Transcription with Smart-GS

    • Principal Investigator
      Nagai Kazu
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Japanese history
    • Research Institution
      Kyoto University
  •  Information Platform for Collaborative Humanity ResearchPrincipal Investigator

    • Principal Investigator
      HAYASHI Susumu
    • Project Period (FY)
      2010 – 2012
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Library and information science/Humanistic social informatics
    • Research Institution
      Kyoto University
  •  Text genetics studies of Philosophy of Nishida and TanabePrincipal Investigator

    • Principal Investigator
      HAYASHI Susumu
    • Project Period (FY)
      2010 – 2012
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      History of thought
    • Research Institution
      Kyoto University
  •  The Study of Kuratomi Yuzaburo's Diary; Making a full texttranscription with some annotations by a new ITC research tool.

    • Principal Investigator
      NAGAI Kazu
    • Project Period (FY)
      2008 – 2012
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Japanese history
    • Research Institution
      Kyoto University
  •  Multilateral research on the role of limiting recursive functions in the computability problem

    • Principal Investigator
      YASUGI Mariko
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyoto Sangyo University
  •  極限計算可能数学の計算機上の実行

    • Principal Investigator
      YASUGI Mariko
    • Project Period (FY)
      2006 – 2007
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Kyoto Sangyo University
  •  REASONING WEB:UMLシステム検証の統合フレームワークに向けて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
      Kobe University
  •  PAC学習の論理Principal Investigator

    • Principal Investigator
      林 晋
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      Intelligent informatics
    • Research Institution
      Kyoto University
      Kobe University
  •  Computability of discontinuous functions-Towards its paradigm

    • Principal Investigator
      YASUGI Mariko
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyoto Sangyo University
  •  始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発

    • 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)
      2002
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Hokkaido University
  •  Logic of Limit Computing and its ApplicationsPrincipal Investigator

    • Principal Investigator
      HAYASHI Susumu
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Kobe University
  •  parametric polymorphismの新しい枠組Principal Investigator

    • Principal Investigator
      林 晋
    • Project Period (FY)
      2000 – 2002
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      計算機科学
    • Research Institution
      Kobe University
  •  Multilateral Researches on Computability Problems on the Continuum

    • Principal Investigator
      YASUGI Mariko
    • Project Period (FY)
      2000 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyoto Sangyo University
  •  Theory of formal specification and verification of concurrency systems and real-time systems based on linear logic

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      2000 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  古典線形論理に基づいた論理型言語に関する研究

    • Principal Investigator
      TAMURA Naoyuki
    • Project Period (FY)
      1998
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Kobe University
  •  Applications of Type Theory and Linear Logic to Programming Language Theory

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (A).
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  Proof Animation -testing proofs by constructive programming-Principal Investigator

    • 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
  •  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
  •  Optimization in Constructive ProgrammingPrincipal Investigator

    • Principal Investigator
      HAYASHI Susumu
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Kobe University
  •  フィードバック境界条件を伴う楕円型作用素の構造と無限次元作用素方程式の数値解析学

    • Principal Investigator
      南部 隆夫
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      解析学
    • Research Institution
      Kobe 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
  •  The new aspects in constructive programming.Principal Investigator

    • Principal Investigator
      HAYASHI Susumu
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Kobe University
      Ryukoku University
  •  高機能高品質ソフトウエアの基礎理論に関する研究

    • Principal Investigator
      伊藤 貴康
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  COOPERATIVE RESEARCH OF MATHEMATICAL LOGIC AND ITS RELATED FIELDS

    • Principal Investigator
      KAKUDA Yuzuru
    • Project Period (FY)
      1992 – 1994
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kobe University
  •  高機能高品質ソフトウェアの基礎理論

    • Principal Investigator
      伊藤 貴康
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  プログラム言語における型の論理Principal Investigator

    • Principal Investigator
      林 晋
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Ryukoku University
  •  Studies of Inference mechanism in intelligent information processing

    • Principal Investigator
      TAKASU Satoru
    • Project Period (FY)
      1985 – 1987
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Kyoto University

All 2017 2015 2013 2012 2011 2010 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Book

  • [Book] 『記憶の共有をめざして 第二次世界大戦終結70周年を迎えて』執筆部分(第2章日中戦争から世界戦争へ)2015

    • Author(s)
      川島正樹(編著者)、木村靖二、永井和、川田稔、秋元英一、川成洋、王暁葵、油井大三郎、和田春樹、金光旭、バウエンス(中村)仁美、大竹弘二、小林純子、中野涼子、Ve-Yin Tee、五百旗頭真、冨山一郎、豊下楢彦、山倉明弘、藤本博、川崎哲、ジョセフ・ラモス=ホルタ
    • Total Pages
      533
    • Publisher
      行路社
    • Data Source
      KAKENHI-PROJECT-25284123
  • [Book] ゲーテル 不完全性定理2006

    • Author(s)
      林晋, 八杉満利子(訳・解説)
    • Total Pages
      309
    • Publisher
      岩波書店(岩波文庫)
    • Data Source
      KAKENHI-PROJECT-16340028
  • [Book] Godel Incompleteness Theorem (Translation and exposition in Japanese)2006

    • Author(s)
      S.Hayashi, M.Yasugi
    • Total Pages
      309
    • Publisher
      Iwanami Bunko(Iwanami Shoten)
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16340028
  • [Book] ゲーデル不完全性定理2006

    • Author(s)
      林晋, 八杉満利子(訳・解説)
    • Total Pages
      309
    • Publisher
      岩波書店(岩波文庫)
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16340028
  • [Book] ゲーデル 不完全性定理2006

    • Author(s)
      林晋, 八杉満利子 (訳・解説)
    • Total Pages
      309
    • Publisher
      岩波書店(岩波文庫)
    • Data Source
      KAKENHI-PROJECT-18650003
  • [Journal Article] 澤口昭聿・中沢新一の多様体哲学について―田辺哲学テキスト生成研究の試み(二)―2012

    • Author(s)
      林晋
    • Journal Title

      日本哲学史研究

      Volume: 9 Pages: 23-74

    • Data Source
      KAKENHI-PROJECT-22652008
  • [Journal Article] 情報の宝庫 -二つの田辺文庫-2012

    • Author(s)
      林晋
    • Journal Title

      波書店雑誌「思想」

      Volume: No.1053 Pages: 303-306

    • Data Source
      KAKENHI-PROJECT-22652008
  • [Journal Article] 田辺元の「数理哲学」2012

    • Author(s)
      林晋
    • Journal Title

      思想

      Volume: 1,053 Pages: 197-216

    • Data Source
      KAKENHI-PROJECT-22652008
  • [Journal Article] 澤口昭聿・中沢新一の多様体哲学について -田辺哲学テキスト生成研究の試み(二)-2012

    • Author(s)
      林晋
    • Journal Title

      日本哲学史研究

      Volume: 第7号

    • Data Source
      KAKENHI-PROJECT-22652008
  • [Journal Article] <資料紹介>情報の宝庫、二つの田辺元文庫2012

    • Author(s)
      林晋
    • Journal Title

      思想

      Volume: 1,053 Pages: 303-306

    • Data Source
      KAKENHI-PROJECT-22652008
  • [Journal Article] 田辺元の『数理哲学』2012

    • Author(s)
      林晋
    • Journal Title

      岩波書店雑誌「思想」

      Volume: No.1053 Pages: 197-216

    • Data Source
      KAKENHI-PROJECT-22652008
  • [Journal Article] 画像化主義に基づく文献資料研究用ツールSMART-GSとその発展2011

    • Author(s)
      相原健郎, 林晋
    • Journal Title

      情報処理学会 デジタル・ドキュメント研究会研究報告

      Volume: 79(5) Pages: 1-5

    • Data Source
      KAKENHI-PROJECT-22300083
  • [Journal Article] 文献研究と情報技術-史学・古典学の現場から-2010

    • Author(s)
      林晋・永井和・宮崎泉
    • Journal Title

      人工知能学会誌

      Volume: 25巻 1号 Pages: 24-31

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20242017
  • [Journal Article] Games with 1-backtracking2010

    • Author(s)
      Stefano Berardi, Thierry Coquand, Susumu Hayashi
    • Journal Title

      Annals of Pure and Applied Logic vol.161-10

      Pages: 1254-1269

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540143
  • [Journal Article] 「数理哲学」としての種の論理-田辺哲学テキスト生成研究の試み(一)2010

    • Author(s)
      林晋
    • Journal Title

      日本哲学史研究

      Volume: 7号 Pages: 40-75

    • NAID

      120006841343

    • Data Source
      KAKENHI-PROJECT-22652008
  • [Journal Article] 「数理哲学」としての種の論理--田辺哲学テキスト生成研究の試み(一)--2010

    • Author(s)
      林晋
    • Journal Title

      紀要『日本哲学史研究』(京都大学文学研究科・日本哲学史研究室紀要) 第7号

      Pages: 40-75

    • NAID

      120006841343

    • Data Source
      KAKENHI-PROJECT-20540143
  • [Journal Article] Games with 1-backtracking2010

    • Author(s)
      S.Berardi, Th.Coquand, S.Hayashi
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: 161-10 Pages: 1254-1269

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540143
  • [Journal Article] 文献研究と情報技術-史学・古典学の現場から-2010

    • Author(s)
      林晋・永井和・宮崎泉
    • Journal Title

      人工知能学会誌 25巻1号

      Pages: 24-31

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20242017
  • [Journal Article] 「数理哲学」としての種の論理-田辺哲学テキスト生成研究の試み(一)-2010

    • Author(s)
      林晋
    • Journal Title

      日本哲学史研究

      Volume: 第7号 Pages: 40-75

    • NAID

      120006841343

    • Data Source
      KAKENHI-PROJECT-20540143
  • [Journal Article] 「数理哲学」としての種の論理-田辺哲学テキスト生成研究の試み2010

    • Author(s)
      林晋
    • Journal Title

      日本哲学史研究

      Volume: 第7号

    • Data Source
      KAKENHI-PROJECT-22652008
  • [Journal Article] Can proofs be animated by games?2007

    • Author(s)
      S.Hayashi
    • Journal Title

      Fundamenta Informaticae 77

      Pages: 1-13

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16340028
  • [Journal Article] Can proofs be animated by games2007

    • Author(s)
      S.Hayashi
    • Journal Title

      Fundamenta Informaticae 77

      Pages: 1-13

    • Data Source
      KAKENHI-PROJECT-18650003
  • [Journal Article] Mathematics based on Incremental Learning-Excluded middle and Inductive inference-2006

    • Author(s)
      S.Hayashi
    • Journal Title

      Theoretical Computer Science 350(1)

      Pages: 125-139

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16340028
  • [Journal Article] Mathematics based on Incremental Learning -Excluded middle and Inductive inference-2006

    • Author(s)
      S.Hayashi
    • Journal Title

      Theoretical Computer Science 350 (1)

      Pages: 125-139

    • Data Source
      KAKENHI-PROJECT-16340028
  • [Journal Article] Mathematics based on Incremental Learning -Excluded middle and Inductive inference-2006

    • Author(s)
      S.Hayashi
    • Journal Title

      Theoretical Computer Science 350 (1)

      Pages: 125-139

    • Data Source
      KAKENHI-PROJECT-18650003
  • [Journal Article] Mathematics based on Incremental Learning-Excluded middle and Inductive inference-2006

    • Author(s)
      S.Hayashi
    • Journal Title

      Theoretical Computer Science 350 (1)

      Pages: 125-139

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16340028
  • [Journal Article] Can proofs be animated by games?2005

    • Author(s)
      Susumu Hayashi
    • Journal Title

      Proceedings of TLCA 2005, Lecture Notes in Computer Science 3461

      Pages: 11-22

    • Data Source
      KAKENHI-PROJECT-16650028
  • [Journal Article] Can proofs by animated by games?2005

    • Author(s)
      Hayashi, Susumu
    • Journal Title

      TLCA 2005,Lecture Notes in Computer Science 3461

      Pages: 11-22

    • Data Source
      KAKENHI-PROJECT-16340028
  • [Journal Article] Mathematics based on incremental learning-Excluded middle and inductive inference2005

    • Author(s)
      S.Hayashi, et al.
    • Journal Title

      Theoretical Computer Science 350

      Pages: 125-139

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16340028
  • [Journal Article] ソフトウェア開発法の新傾向2005

    • Author(s)
      林晋
    • Journal Title

      光学(応用物理学会) 34

      Pages: 416-419

    • NAID

      10016683169

    • Data Source
      KAKENHI-PROJECT-16016263
  • [Journal Article] Mathematics based on incremental learning- Excluded middle and inductive inference2005

    • Author(s)
      Hayashi, Susumu
    • Journal Title

      Theoretical Computer Science 350

      Pages: 125-139

    • Data Source
      KAKENHI-PROJECT-16340028
  • [Journal Article] Test Driven Development of UML Models with SMART modeling system2004

    • Author(s)
      Hayashi, S., Pan Y., et al.
    • Journal Title

      UML 2004, Lecture Notes in Computer Science 3273

      Pages: 395-409

    • Data Source
      KAKENHI-PROJECT-16016263
  • [Journal Article] 極限計算可能数学のゲーム意味論

    • Author(s)
      小林聡
    • Journal Title

      日本ソフトウェア科学会第24回大会論文集 (CD-ROM)

    • NAID

      40022087436

    • Data Source
      KAKENHI-PROJECT-18650003
  • [Presentation] 失われた時のウェブを目指して2017

    • Author(s)
      林晋
    • Organizer
      平成29年度 京都大学図書館機構講演会
    • Invited
    • Data Source
      KAKENHI-PROJECT-15H02948
  • [Presentation] 西田・田辺・西谷の「論理」2015

    • Author(s)
      林晋
    • Organizer
      西田哲学会 第13回年次大会
    • Place of Presentation
      京都工芸繊維大学
    • Year and Date
      2015-07-26
    • Data Source
      KAKENHI-PROJECT-26580013
  • [Presentation] SMART -GS: 文献研究のためのソフトウェアツール2013

    • Author(s)
      大浦真、 林晋、久木田水生
    • Organizer
      言語処理学会
    • Place of Presentation
      名古屋大学
    • Year and Date
      2013-03-12
    • Data Source
      KAKENHI-PROJECT-22300083
  • [Presentation] SMART -GS2013

    • Author(s)
      久木田水生、 林晋、大浦真
    • Organizer
      史料研究のためのソフトウェアツール、応用哲学会ワークショップ「デジタル・ヒューマニティーズの現在」
    • Place of Presentation
      南山大学
    • Year and Date
      2013-04-20
    • Data Source
      KAKENHI-PROJECT-22300083
  • [Presentation] SMART-GSによる歴史研究の実際2012

    • Author(s)
      林晋
    • Organizer
      情報処理学会デジタルドキュメント研究会
    • Place of Presentation
      紫蘭会館(京都)
    • Year and Date
      2012-01-20
    • Data Source
      KAKENHI-PROJECT-22300083
  • [Presentation] デジタル・ヒューマニティーズの現在2012

    • Author(s)
      久木田水生、 林晋、大浦真
    • Organizer
      白眉センター&応用哲学・倫理学教育研究センター共催セミナー
    • Place of Presentation
      京都大学
    • Year and Date
      2012-12-10
    • Data Source
      KAKENHI-PROJECT-22300083
  • [Presentation] Smart-GS による手稿解析--その実際 (林)、 SMART -GSネットワーク版による2012

    • Author(s)
      林晋、久木田水生、大浦真
    • Organizer
      経済学史学会ヤングスカラーセミナー
    • Place of Presentation
      大阪学院大学
    • Year and Date
      2012-12-01
    • Data Source
      KAKENHI-PROJECT-22300083
  • [Presentation] SMART -GS system: a software for historians by historians2012

    • Author(s)
      Hayashi S., Aihara, K., Kukida M., Ohura M.
    • Organizer
      JADH2012
    • Place of Presentation
      東京大学
    • Year and Date
      2012-09-16
    • Data Source
      KAKENHI-PROJECT-22300083
  • [Presentation] Smart-GS による手稿解析--その実際2012

    • Author(s)
      林晋
    • Organizer
      情報処理学会 第84回デジタルドキュメント研究発表会
    • Year and Date
      2012-01-20
    • Data Source
      KAKENHI-PROJECT-22300083
  • [Presentation] 種の論理再考-数理思想史の観点から2011

    • Author(s)
      林晋
    • Organizer
      西田・田辺記念講演会
    • Place of Presentation
      京都大学
    • Year and Date
      2011-06-11
    • Data Source
      KAKENHI-PROJECT-22652008
  • [Presentation] 種の論理再考-数理思想史の観点から2011

    • Author(s)
      林晋
    • Organizer
      2011 年度 西田・田辺記念講演会
    • Place of Presentation
      京都大学
    • Year and Date
      2011-06-04
    • Data Source
      KAKENHI-PROJECT-22652008
  • [Presentation] 画像化主義に基づく文献資料研究用ツール SMART -GS とその発展2011

    • Author(s)
      相原 健郎, 林 晋
    • Organizer
      情報処理学会
    • Place of Presentation
      函館
    • Year and Date
      2011-07-22
    • Data Source
      KAKENHI-PROJECT-22300083
  • [Presentation] 文献資料研究用ツールSMART-GSと画像文字検索エンジン2010

    • Author(s)
      林晋・永井和・寺沢憲吾
    • Organizer
      文化とコンピューティング国際会議
    • Place of Presentation
      京都市・京都大学
    • Data Source
      KAKENHI-PROJECT-20242017
  • [Presentation] 文献資料研究用ツールSMART-GSと画像文字検索エンジン2010

    • Author(s)
      林晋・永井和・寺沢憲吾
    • Organizer
      文化とコンピューティング国際会議
    • Place of Presentation
      京都大学
    • Data Source
      KAKENHI-PROJECT-20242017
  • [Presentation] 文献資料研究用ツール SMART-GS と画像文字検索エンジン2010

    • Author(s)
      林晋・永井和・寺沢憲吾
    • Organizer
      文化とコンピューティング国際会議
    • Place of Presentation
      京都市・京都大学
    • Data Source
      KAKENHI-PROJECT-20242017
  • [Presentation] Game semantics and translational semantics for limit computable mathematics2008

    • Author(s)
      小林聡
    • Organizer
      Third NII Type Theory Workshop
    • Place of Presentation
      国立情報学研究所、東京
    • Year and Date
      2008-02-12
    • Data Source
      KAKENHI-PROJECT-18650003
  • [Presentation] Proof Animation, Limit Computable Mathematics, and Hilbert's Finite Basis Theorem2007

    • Author(s)
      Susumu Hayashi
    • Organizer
      Methods of Proof Theory in Mathematics
    • Place of Presentation
      Max-Planck-Institut, Bonn
    • Year and Date
      2007-06-06
    • Data Source
      KAKENHI-PROJECT-18650003
  • [Presentation] 極限計算可能数学のゲーム意味論2007

    • Author(s)
      小林聡
    • Organizer
      日本ソフトウェア科学会第24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Year and Date
      2007-09-13
    • Data Source
      KAKENHI-PROJECT-18650003
  • [Presentation] SMART-GS system: a software for historians by historians

    • Author(s)
      Hayashi Susumu
    • Organizer
      JADH2012
    • Place of Presentation
      東京大学
    • Data Source
      KAKENHI-PROJECT-22300083
  • [Presentation] Smart-GS による手稿解析──その実際

    • Author(s)
      林晋
    • Organizer
      経済学史学会ヤングスカラーセミナー
    • Place of Presentation
      大阪学院大学
    • Invited
    • Data Source
      KAKENHI-PROJECT-22300083
  • 1.  YASUGI Mariko (90022277)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 4 results
  • 2.  HAGIYA Masami (30156252)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 3.  SATO Masahiko (20027387)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 4.  OKADA Mitsuhiro (30224025)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 5.  TAKAHASHI Masako (00015588)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 6.  OHORI Atsushi (60252532)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 7.  TAMURA Naoyuki (60207248)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  TSUIKI Hideki (10211377)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 9.  KOBAYASHI Satoshi (70234820)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 3 results
  • 10.  MORI Takakazu (00065880)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 11.  TSUJII Yoshiki (90065871)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 12.  山本 章博 (30230535)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 13.  AIHARA Kenrou (90300706)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 3 results
  • 14.  KOYAMA Toshiki (90454503)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  KAWANISHI Hideya (20402810)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 16.  NAGAI Kazu (40127113)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 6 results
  • 17.  SANO Masafumi (10403205)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 18.  TOMINAGA Nozomu (20572069)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 19.  FUJITA Masakatu (90165390)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 20.  UEHARA Mayuko (40465373)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 21.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 22.  伊藤 貴康 (80124551)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 23.  中戸川 孝治 (20237316)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 24.  MIYATA Masaaki
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 25.  KAWASAKI Akira
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 26.  KATSURAGAWA Mitsumasa (30177422)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  LEE Sung Yup (50378882)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  MIKAWA Joji (40259891)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  DEGUTI Yasuo (20314073)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  FUKUTANI Shigeru (30144306)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  KAKUDA Yuzuru (50031365)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  KAMAE Tetsuro (80047258)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  MOTOHASHI Nobuyoshi (70015874)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  KAMO Sizuo (30128764)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  NAKANO Hiroshi (30217799)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  KAWAHARA Yasuo (90091181)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  MIYANO Satoru (50128104)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  ARIKAWA Setsuo (40037221)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  KOBAYASHI Kojiro (00016148)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  YONEZAWA Akinori (00133116)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  YOSHIKAWA Aisushi (80001866)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  KOBAYASHI Naoki (00262155)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  YAMADA Shuji (30192404)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  TAKASU Satoru (10027360)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 45.  NAKAHARA Takako (90155797)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 46.  Asami Hiroshi (00132598)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 47.  萩原 兼一 (00133140)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 48.  榎本 肇 (60016227)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 49.  井田 哲雄 (70100047)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 50.  南部 隆夫 (40156013)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 51.  垣内 逸郎 (90091248)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 52.  高橋 典大 (00031295)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 53.  田畑 稔 (70207215)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 54.  中桐 信一 (20031148)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 55.  篠田 寿一 (30022685)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 56.  田中 一之 (70188291)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 57.  高橋 譲嗣 (30197149)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 58.  小林 聡 (60195831)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 59.  向井 国昭 (80245597)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 60.  鷲原 雅子 (40065800)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 61.  小田 秀典 (40224240)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 62.  米崎 直樹 (00126286)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 63.  赤間 陽二 (30272454)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 64.  高橋 大輔 (50188025)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 65.  石原 哉 (10211046)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 66.  山崎 武 (30336812)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 67.  橋本 雄太 (10802712)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 68.  加納 靖之 (30447940)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 69.  久木田 水生 (10648869)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 70.  森 雅秀 (90230078)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 71.  秋富 克哉 (80263169)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 72.  美濃部 仁 (50328960)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 73.  LU Xueying
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 74.  PARIGOT Michel
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 75.  HUET Gerard
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 76.  JOUANNAUD Jean-Pierre
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 77.  CURIEN Pierre-Luis
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 78.  GIRARD Jan-Yves
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

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

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi