林晋 Hayashi Susumu

… 別表記

林普ハヤシススム

研究者番号	40156443
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2021年度: 京都大学, 文学研究科, 教授 2014年度 – 2018年度: 京都大学, 文学研究科, 教授 2015年度: 京都大学, 大学院文学研究科, 教授 2012年度: 京都大学, 大学院・文学研究科, 教授 2010年度 – 2012年度: 京都大学, 文学研究科, 教授 … もっと見る 2010年度: 京都大学, 大学院・文学研究科, 教授 2007年度: 京都大学, 大学院・文学研究科, 教授 2006年度: 京都大学, 大学院文学研究科, 教授 2005年度: 京都大学, 大学院・文学研究科, 教授 2005年度: 京都大学, 文学研究科, 教授 1995年度 – 2004年度: 神戸大学, 工学部, 教授 2000年度: 神戸大学, 工学部・情報知能工学科, 教授 1995年度: 神戸大学, 工学部・情報知能工学科, 教授 1995年度: 神戸大学, 理工学部, 教授 1992年度 – 1994年度: 龍谷大学, 理工学部, 教授 1991年度: 龍谷大学, 理工学部, 助教授 1990年度: 龍谷大学, 理工学部・数理情報学科, 助教授 1986年度 – 1987年度: 京都大学, 数理解析研究所, 助手隠す
審査区分/研究分野	研究代表者計算機科学 / 思想史 / 科学社会学・科学技術史 / 文化財科学・博物館学 / 図書館情報学・人文社会情報学 / 知能情報学 / 理工系研究代表者以外数学一般 / 計算機科学 / 数学一般(含確率論・統計数学) … もっと見る / 日本史 / 理工系 / 哲学・倫理学 / 情報学 / 情報学基礎 / 解析学隠す
キーワード	研究代表者プログラム検証 / classical proof execution / 学習理論 / 形式的技法 / Program verification / 形式的方法 / 構成的プログラミング / 社会学的手法 / David Hilbert / E. du Bois-Reymond … もっと見る / イグノラビムス論争 / 社会グラフ / 生命科学 / 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アーカイブ / 京都学派の哲学 / 手書き史料情報処理 / 協働作業支援 / 歴史情報学 / 情報メディア / ゲーム意味論 / 論理学 / ゲーム理論 / 論理 / PAC学習 / tracebility / TDD / Unit test / Modeling / Requirement / Reasoning / Traceability / UML / admissible rule / 多相型 / プログラム言語における型理論 … もっと見る研究代表者以外線形論理 / Linear Logic / 極限再帰性 / プログラミング言語 / タイプ理論 / 計算可能性 / ドメイン理論 / 実時間システム / 形式検証 / 形式仕様 / 関数型言語 / Type Theory / プログラム意味論 / プログラム検証 / 列計算可能性 / 枢密院 / SMART-GS / 倉富勇三郎日記 / 倉富勇三郎 / 極限再帰関数 / 実効的一様位相 / 帰納論理 / 帰納推論 / 極限同定 / 始祖学習 / 形式的仕様 / 直観主義論理 / 構成的プログラミング / 哲学 / ２次翻刻 / １次翻刻 / 日本哲学 / 哲学形成 / 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 / 論理と証明 / プログラム・モデル隠す

西田幾多郎のノート類史料の研究資料化と哲学形成過程の研究
- 研究代表者
  
  浅見洋
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  哲学・倫理学
- 研究機関
  石川県立看護大学
社会学的・情報学的手法による数学基礎論史の解明研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  2016 – 2018
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  科学社会学・科学技術史
- 研究機関
  京都大学
古文書のウェブを目指して研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  文化財科学・博物館学
- 研究機関
  京都大学
京都学派の思想史における史料学的アプローチ研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  2014 – 2015
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  思想史
- 研究機関
  京都大学
倉富勇三郎日記研究―SMART-GSを使用した全文翻刻
- 研究代表者
  
  永井和
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  日本史
- 研究機関
  京都大学
人文学研究を促進する協働のための情報共有基盤に関する研究研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  図書館情報学・人文社会情報学
- 研究機関
  京都大学
西田哲学・田邊哲学のテキスト生成研究研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  思想史
- 研究機関
  京都大学
倉富勇三郎日記研究-IT 応用新研究支援ツールの導入による全文翻刻と注釈の作成
- 研究代表者
  
  永井和
- 研究期間 (年度)
  2008 – 2012
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  日本史
- 研究機関
  京都大学
計算可能性問題における極限再帰関数の役割の多角的研究
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
極限計算可能数学の計算機上の実行
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2006 – 2007
- 研究種目
  
  萌芽研究
- 研究分野
  
  情報学基礎
- 研究機関
  京都産業大学
REASONING WEB:UMLシステム検証の統合フレームワークに向けて研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  2004 – 2005
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  京都大学
   神戸大学
PAC学習の論理研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  萌芽研究
- 研究分野
  
  知能情報学
- 研究機関
  京都大学
   神戸大学
不連続関数の計算可能性-そのパラダイムを目指して-
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
- 研究代表者
  
  山本章博
- 研究期間 (年度)
  2003
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  京都大学
始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
- 研究代表者
  
  山本章博
- 研究期間 (年度)
  2002
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  北海道大学
極限計算の論理とその応用研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  神戸大学
parametric polymorphismの新しい枠組研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  2000 – 2002
- 研究種目
  
  萌芽研究
- 研究分野
  
  計算機科学
- 研究機関
  神戸大学
連続体上の計算可能性問題の多角的研究
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2000 – 2002
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
線形論理を用いた並行計算システム及び実時間システムの形式仕様・形式検証の理論
- 研究代表者
  
  岡田光弘
- 研究期間 (年度)
  2000 – 2002
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  慶應義塾大学
古典線形論理に基づいた論理型言語に関する研究
- 研究代表者
  
  田村直之
- 研究期間 (年度)
  1998
- 研究種目
  
  特定領域研究(A)
- 研究機関
  神戸大学
タイプ理論と線形理論のプログラム言語理論への応用
- 研究代表者
  
  岡田光弘
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  慶應義塾大学
証明アニメーション(構成的プログラミンブによる証明テスト技法)研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  神戸大学
タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画
- 研究代表者
  
  岡田光弘
- 研究期間 (年度)
  1997
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  慶応義塾大学
カテゴリー論的計算機数学の総合的研究
- 研究代表者
  
  河原康雄 (河原泰雄)
- 研究期間 (年度)
  1996 – 1998
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
構成的プログラミングにおける最適化の研究研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  1996 – 1997
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  神戸大学
フィードバック境界条件を伴う楕円型作用素の構造と無限次元作用素方程式の数値解析学
- 研究代表者
  
  南部隆夫
- 研究期間 (年度)
  1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  解析学
- 研究機関
  神戸大学
タイプ理論及び線形論理のプログラム言語理論への応用
- 研究代表者
  
  岡田光弘
- 研究期間 (年度)
  1995 – 1996
- 研究種目
  
  国際学術研究
- 研究機関
  慶応義塾大学
構成的プログラミングの新局面の研究研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  1994 – 1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  神戸大学
   龍谷大学
高機能高品質ソフトウエアの基礎理論に関する研究
- 研究代表者
  
  伊藤貴康
- 研究期間 (年度)
  1992
- 研究種目
  
  重点領域研究
- 研究機関
  東北大学
数理論理及びその周辺分野の総合的研究
- 研究代表者
  
  角田譲
- 研究期間 (年度)
  1992 – 1994
- 研究種目
  
  総合研究(A)
- 研究分野
  
  数学一般
- 研究機関
  神戸大学
高機能高品質ソフトウェアの基礎理論
- 研究代表者
  
  伊藤貴康
- 研究期間 (年度)
  1991
- 研究種目
  
  重点領域研究
- 研究機関
  東北大学
プログラム言語における型の論理研究代表者
- 研究代表者
  
  林晋
- 研究期間 (年度)
  1990
- 研究種目
  
  重点領域研究
- 研究機関
  龍谷大学
知的情報処理における推論機構の研究
- 研究代表者
  
  高須達
- 研究期間 (年度)
  1985 – 1987
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報学
- 研究機関
  京都大学

すべて 2017 2015 2013 2012 2011 2010 2008 2007 2006 2005 2004 その他

すべて雑誌論文学会発表図書

[図書] 『記憶の共有をめざして　第二次世界大戦終結７０周年を迎えて』執筆部分（第２章日中戦争から世界戦争へ）2015
- 著者名/発表者名
  川島正樹(編著者)、木村靖二、永井和、川田稔、秋元英一、川成洋、王暁葵、油井大三郎、和田春樹、金光旭、バウエンス（中村）仁美、大竹弘二、小林純子、中野涼子、Ve-Yin Tee、五百旗頭真、冨山一郎、豊下楢彦、山倉明弘、藤本博、川崎哲、ジョセフ・ラモス＝ホルタ
- 総ページ数
  533
- 出版者
  行路社
- データソース
  KAKENHI-PROJECT-25284123
[図書] ゲーテル不完全性定理2006
- 著者名/発表者名
  林晋, 八杉満利子(訳・解説)
- 総ページ数
  309
- 出版者
  岩波書店(岩波文庫)
- データソース
  KAKENHI-PROJECT-16340028
[図書] Godel Incompleteness Theorem (Translation and exposition in Japanese)2006
- 著者名/発表者名
  S.Hayashi, M.Yasugi
- 総ページ数
  309
- 出版者
  Iwanami Bunko(Iwanami Shoten)
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16340028
[図書] ゲーデル不完全性定理2006
- 著者名/発表者名
  林晋, 八杉満利子(訳・解説)
- 総ページ数
  309
- 出版者
  岩波書店(岩波文庫)
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16340028
[図書] ゲーデル不完全性定理2006
- 著者名/発表者名
  林晋, 八杉満利子 (訳・解説)
- 総ページ数
  309
- 出版者
  岩波書店(岩波文庫)
- データソース
  KAKENHI-PROJECT-18650003
[雑誌論文] 澤口昭聿・中沢新一の多様体哲学について―田辺哲学テキスト生成研究の試み（二）―2012
- 著者名/発表者名
  林晋
- 雑誌名
  
  日本哲学史研究
  
  巻: 9 ページ: 23-74
- データソース
  KAKENHI-PROJECT-22652008
[雑誌論文] 情報の宝庫 -二つの田辺文庫-2012
- 著者名/発表者名
  林晋
- 雑誌名
  
  波書店雑誌「思想」
  
  巻: No.1053 ページ: 303-306
- データソース
  KAKENHI-PROJECT-22652008
[雑誌論文] 田辺元の「数理哲学」2012
- 著者名/発表者名
  林晋
- 雑誌名
  
  思想
  
  巻: 1,053 ページ: 197-216
- データソース
  KAKENHI-PROJECT-22652008
[雑誌論文] 澤口昭聿・中沢新一の多様体哲学について -田辺哲学テキスト生成研究の試み(二)-2012
- 著者名/発表者名
  林晋
- 雑誌名
  
  日本哲学史研究
  
  巻: 第7号
- データソース
  KAKENHI-PROJECT-22652008
[雑誌論文] <資料紹介>情報の宝庫、二つの田辺元文庫2012
- 著者名/発表者名
  林晋
- 雑誌名
  
  思想
  
  巻: 1,053 ページ: 303-306
- データソース
  KAKENHI-PROJECT-22652008
[雑誌論文] 田辺元の『数理哲学』2012
- 著者名/発表者名
  林晋
- 雑誌名
  
  岩波書店雑誌「思想」
  
  巻: No.1053 ページ: 197-216
- データソース
  KAKENHI-PROJECT-22652008
[雑誌論文] 画像化主義に基づく文献資料研究用ツールSMART-GSとその発展2011
- 著者名/発表者名
  相原健郎, 林晋
- 雑誌名
  
  情報処理学会デジタル・ドキュメント研究会研究報告
  
  巻: 79(5) ページ: 1-5
- データソース
  KAKENHI-PROJECT-22300083
[雑誌論文] 文献研究と情報技術-史学・古典学の現場から-2010
- 著者名/発表者名
  林晋・永井和・宮崎泉
- 雑誌名
  
  人工知能学会誌
  
  巻: 25巻 1号ページ: 24-31
- 査読あり
- データソース
  KAKENHI-PROJECT-20242017
[雑誌論文] Games with 1-backtracking2010
- 著者名/発表者名
  Stefano Berardi, Thierry Coquand, Susumu Hayashi
- 雑誌名
  
  Annals of Pure and Applied Logic vol.161-10
  
  ページ: 1254-1269
- 査読あり
- データソース
  KAKENHI-PROJECT-20540143
[雑誌論文] 「数理哲学」としての種の論理-田辺哲学テキスト生成研究の試み(一)2010
- 著者名/発表者名
  林晋
- 雑誌名
  
  日本哲学史研究
  
  巻: 7号ページ: 40-75
- NAID
  120006841343
- データソース
  KAKENHI-PROJECT-22652008
[雑誌論文] 「数理哲学」としての種の論理--田辺哲学テキスト生成研究の試み(一)--2010
- 著者名/発表者名
  林晋
- 雑誌名
  
  紀要『日本哲学史研究』(京都大学文学研究科・日本哲学史研究室紀要) 第7号
  
  ページ: 40-75
- NAID
  120006841343
- データソース
  KAKENHI-PROJECT-20540143
[雑誌論文] Games with 1-backtracking2010
- 著者名/発表者名
  S.Berardi, Th.Coquand, S.Hayashi
- 雑誌名
  
  Annals of Pure and Applied Logic
  
  巻: 161-10 ページ: 1254-1269
- 査読あり
- データソース
  KAKENHI-PROJECT-20540143
[雑誌論文] 文献研究と情報技術-史学・古典学の現場から-2010
- 著者名/発表者名
  林晋・永井和・宮崎泉
- 雑誌名
  
  人工知能学会誌 25巻1号
  
  ページ: 24-31
- 査読あり
- データソース
  KAKENHI-PROJECT-20242017
[雑誌論文] 「数理哲学」としての種の論理-田辺哲学テキスト生成研究の試み(一)-2010
- 著者名/発表者名
  林晋
- 雑誌名
  
  日本哲学史研究
  
  巻: 第7号ページ: 40-75
- NAID
  120006841343
- データソース
  KAKENHI-PROJECT-20540143
[雑誌論文] 「数理哲学」としての種の論理-田辺哲学テキスト生成研究の試み2010
- 著者名/発表者名
  林晋
- 雑誌名
  
  日本哲学史研究
  
  巻: 第7号
- データソース
  KAKENHI-PROJECT-22652008
[雑誌論文] Can proofs be animated by games?2007
- 著者名/発表者名
  S.Hayashi
- 雑誌名
  
  Fundamenta Informaticae 77
  
  ページ: 1-13
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16340028
[雑誌論文] Can proofs be animated by games2007
- 著者名/発表者名
  S.Hayashi
- 雑誌名
  
  Fundamenta Informaticae 77
  
  ページ: 1-13
- データソース
  KAKENHI-PROJECT-18650003
[雑誌論文] Mathematics based on Incremental Learning-Excluded middle and Inductive inference-2006
- 著者名/発表者名
  S.Hayashi
- 雑誌名
  
  Theoretical Computer Science 350(1)
  
  ページ: 125-139
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16340028
[雑誌論文] Mathematics based on Incremental Learning -Excluded middle and Inductive inference-2006
- 著者名/発表者名
  S.Hayashi
- 雑誌名
  
  Theoretical Computer Science 350 (1)
  
  ページ: 125-139
- データソース
  KAKENHI-PROJECT-16340028
[雑誌論文] Mathematics based on Incremental Learning -Excluded middle and Inductive inference-2006
- 著者名/発表者名
  S.Hayashi
- 雑誌名
  
  Theoretical Computer Science 350 (1)
  
  ページ: 125-139
- データソース
  KAKENHI-PROJECT-18650003
[雑誌論文] Mathematics based on Incremental Learning-Excluded middle and Inductive inference-2006
- 著者名/発表者名
  S.Hayashi
- 雑誌名
  
  Theoretical Computer Science 350 (1)
  
  ページ: 125-139
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16340028
[雑誌論文] Can proofs be animated by games?2005
- 著者名/発表者名
  Susumu Hayashi
- 雑誌名
  
  Proceedings of TLCA 2005, Lecture Notes in Computer Science 3461
  
  ページ: 11-22
- データソース
  KAKENHI-PROJECT-16650028
[雑誌論文] Can proofs by animated by games?2005
- 著者名/発表者名
  Hayashi, Susumu
- 雑誌名
  
  TLCA 2005,Lecture Notes in Computer Science 3461
  
  ページ: 11-22
- データソース
  KAKENHI-PROJECT-16340028
[雑誌論文] Mathematics based on incremental learning-Excluded middle and inductive inference2005
- 著者名/発表者名
  S.Hayashi, et al.
- 雑誌名
  
  Theoretical Computer Science 350
  
  ページ: 125-139
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16340028
[雑誌論文] ソフトウェア開発法の新傾向2005
- 著者名/発表者名
  林晋
- 雑誌名
  
  光学(応用物理学会) 34
  
  ページ: 416-419
- NAID
  10016683169
- データソース
  KAKENHI-PROJECT-16016263
[雑誌論文] Mathematics based on incremental learning- Excluded middle and inductive inference2005
- 著者名/発表者名
  Hayashi, Susumu
- 雑誌名
  
  Theoretical Computer Science 350
  
  ページ: 125-139
- データソース
  KAKENHI-PROJECT-16340028
[雑誌論文] Test Driven Development of UML Models with SMART modeling system2004
- 著者名/発表者名
  Hayashi, S., Pan Y., et al.
- 雑誌名
  
  UML 2004, Lecture Notes in Computer Science 3273
  
  ページ: 395-409
- データソース
  KAKENHI-PROJECT-16016263
[雑誌論文] 極限計算可能数学のゲーム意味論
- 著者名/発表者名
  小林聡
- 雑誌名
  
  日本ソフトウェア科学会第24回大会論文集 (CD-ROM)
- NAID
  40022087436
- データソース
  KAKENHI-PROJECT-18650003
[学会発表] 失われた時のウェブを目指して2017
- 著者名/発表者名
  林晋
- 学会等名
  平成29年度京都大学図書館機構講演会
- 招待講演
- データソース
  KAKENHI-PROJECT-15H02948
[学会発表] 西田・田辺・西谷の「論理」2015
- 著者名/発表者名
  林晋
- 学会等名
  西田哲学会　第１３回年次大会
- 発表場所
  京都工芸繊維大学
- 年月日
  2015-07-26
- データソース
  KAKENHI-PROJECT-26580013
[学会発表] SMART -GS: 文献研究のためのソフトウェアツール2013
- 著者名/発表者名
  大浦真、林晋、久木田水生
- 学会等名
  言語処理学会
- 発表場所
  名古屋大学
- 年月日
  2013-03-12
- データソース
  KAKENHI-PROJECT-22300083
[学会発表] SMART -GS2013
- 著者名/発表者名
  久木田水生、林晋、大浦真
- 学会等名
  史料研究のためのソフトウェアツール、応用哲学会ワークショップ「デジタル・ヒューマニティーズの現在」
- 発表場所
  南山大学
- 年月日
  2013-04-20
- データソース
  KAKENHI-PROJECT-22300083
[学会発表] SMART-GSによる歴史研究の実際2012
- 著者名/発表者名
  林晋
- 学会等名
  情報処理学会デジタルドキュメント研究会
- 発表場所
  紫蘭会館(京都)
- 年月日
  2012-01-20
- データソース
  KAKENHI-PROJECT-22300083
[学会発表] デジタル・ヒューマニティーズの現在2012
- 著者名/発表者名
  久木田水生、林晋、大浦真
- 学会等名
  白眉センター&応用哲学・倫理学教育研究センター共催セミナー
- 発表場所
  京都大学
- 年月日
  2012-12-10
- データソース
  KAKENHI-PROJECT-22300083
[学会発表] Smart-GS による手稿解析--その実際 (林)、 SMART -GSネットワーク版による2012
- 著者名/発表者名
  林晋、久木田水生、大浦真
- 学会等名
  経済学史学会ヤングスカラーセミナー
- 発表場所
  大阪学院大学
- 年月日
  2012-12-01
- データソース
  KAKENHI-PROJECT-22300083
[学会発表] SMART -GS system: a software for historians by historians2012
- 著者名/発表者名
  Hayashi S., Aihara, K., Kukida M., Ohura M.
- 学会等名
  JADH2012
- 発表場所
  東京大学
- 年月日
  2012-09-16
- データソース
  KAKENHI-PROJECT-22300083
[学会発表] Smart-GS による手稿解析--その実際2012
- 著者名/発表者名
  林晋
- 学会等名
  情報処理学会第84回デジタルドキュメント研究発表会
- 年月日
  2012-01-20
- データソース
  KAKENHI-PROJECT-22300083
[学会発表] 種の論理再考-数理思想史の観点から2011
- 著者名/発表者名
  林晋
- 学会等名
  西田・田辺記念講演会
- 発表場所
  京都大学
- 年月日
  2011-06-11
- データソース
  KAKENHI-PROJECT-22652008
[学会発表] 種の論理再考-数理思想史の観点から2011
- 著者名/発表者名
  林晋
- 学会等名
  2011 年度西田・田辺記念講演会
- 発表場所
  京都大学
- 年月日
  2011-06-04
- データソース
  KAKENHI-PROJECT-22652008
[学会発表] 画像化主義に基づく文献資料研究用ツール SMART -GS とその発展2011
- 著者名/発表者名
  相原健郎, 林晋
- 学会等名
  情報処理学会
- 発表場所
  函館
- 年月日
  2011-07-22
- データソース
  KAKENHI-PROJECT-22300083
[学会発表] 文献資料研究用ツールSMART-GSと画像文字検索エンジン2010
- 著者名/発表者名
  林晋・永井和・寺沢憲吾
- 学会等名
  文化とコンピューティング国際会議
- 発表場所
  京都市・京都大学
- データソース
  KAKENHI-PROJECT-20242017
[学会発表] 文献資料研究用ツールSMART-GSと画像文字検索エンジン2010
- 著者名/発表者名
  林晋・永井和・寺沢憲吾
- 学会等名
  文化とコンピューティング国際会議
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-20242017
[学会発表] 文献資料研究用ツール SMART-GS と画像文字検索エンジン2010
- 著者名/発表者名
  林晋・永井和・寺沢憲吾
- 学会等名
  文化とコンピューティング国際会議
- 発表場所
  京都市・京都大学
- データソース
  KAKENHI-PROJECT-20242017
[学会発表] Game semantics and translational semantics for limit computable mathematics2008
- 著者名/発表者名
  小林聡
- 学会等名
  Third NII Type Theory Workshop
- 発表場所
  国立情報学研究所、東京
- 年月日
  2008-02-12
- データソース
  KAKENHI-PROJECT-18650003
[学会発表] Proof Animation, Limit Computable Mathematics, and Hilbert's Finite Basis Theorem2007
- 著者名/発表者名
  Susumu Hayashi
- 学会等名
  Methods of Proof Theory in Mathematics
- 発表場所
  Max-Planck-Institut, Bonn
- 年月日
  2007-06-06
- データソース
  KAKENHI-PROJECT-18650003
[学会発表] 極限計算可能数学のゲーム意味論2007
- 著者名/発表者名
  小林聡
- 学会等名
  日本ソフトウェア科学会第24回大会
- 発表場所
  奈良先端科学技術大学院大学
- 年月日
  2007-09-13
- データソース
  KAKENHI-PROJECT-18650003
[学会発表] SMART-GS system: a software for historians by historians
- 著者名/発表者名
  Hayashi Susumu
- 学会等名
  JADH2012
- 発表場所
  東京大学
- データソース
  KAKENHI-PROJECT-22300083
[学会発表] Smart-GS による手稿解析──その実際
- 著者名/発表者名
  林晋
- 学会等名
  経済学史学会ヤングスカラーセミナー
- 発表場所
  大阪学院大学
- 招待講演
- データソース
  KAKENHI-PROJECT-22300083

1. 八杉満利子 (90022277)

共同の研究課題数: 7件

共同の研究成果数: 4件
2. 萩谷昌己 (30156252)

共同の研究課題数: 6件

共同の研究成果数: 0件
3. 佐藤雅彦 (20027387)

共同の研究課題数: 6件

共同の研究成果数: 0件
4. 岡田光弘 (30224025)

共同の研究課題数: 4件

共同の研究成果数: 0件
5. 高橋正子 (00015588)

共同の研究課題数: 3件

共同の研究成果数: 0件
6. 大堀淳 (60252532)

共同の研究課題数: 3件

共同の研究成果数: 0件
7. 田村直之 (60207248)

共同の研究課題数: 3件

共同の研究成果数: 0件
8. 立木秀樹 (10211377)

共同の研究課題数: 3件

共同の研究成果数: 0件
9. 小林聡 (70234820)

共同の研究課題数: 3件

共同の研究成果数: 3件
10. 森隆一 (00065880)

共同の研究課題数: 3件

共同の研究成果数: 0件
11. 辻井芳樹 (90065871)

共同の研究課題数: 3件

共同の研究成果数: 0件
12. 山本章博 (30230535)

共同の研究課題数: 3件

共同の研究成果数: 0件
13. 相原健郎 (90300706)

共同の研究課題数: 2件

共同の研究成果数: 3件
14. 小山俊樹 (90454503)

共同の研究課題数: 2件

共同の研究成果数: 0件
15. 河西秀哉 (20402810)

共同の研究課題数: 2件

共同の研究成果数: 0件
16. 永井和 (40127113)

共同の研究課題数: 2件

共同の研究成果数: 6件
17. 佐野方郁 (10403205)

共同の研究課題数: 2件

共同の研究成果数: 0件
18. 冨永望 (20572069)

共同の研究課題数: 2件

共同の研究成果数: 0件
19. 藤田正勝 (90165390)

共同の研究課題数: 2件

共同の研究成果数: 0件
20. 上原麻有子 (40465373)

共同の研究課題数: 2件

共同の研究成果数: 0件
21. 小野寛晰 (90055319)

共同の研究課題数: 2件

共同の研究成果数: 0件
22. 伊藤貴康 (80124551)

共同の研究課題数: 2件

共同の研究成果数: 0件
23. 中戸川孝治 (20237316)

共同の研究課題数: 2件

共同の研究成果数: 0件
24. 宮田昌明

共同の研究課題数: 2件

共同の研究成果数: 0件
25. 川嵜陽

共同の研究課題数: 2件

共同の研究成果数: 0件
26. 桂川光正 (30177422)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. LEE Sun Yup (50378882)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 三川譲二 (40259891)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 出口康夫 (20314073)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 福谷茂 (30144306)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 角田譲 (50031365)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 釜江哲朗 (80047258)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 本橋信義 (70015874)

共同の研究課題数: 1件

共同の研究成果数: 0件
34. 加茂静夫 (30128764)

共同の研究課題数: 1件

共同の研究成果数: 0件
35. 中野浩 (30217799)

共同の研究課題数: 1件

共同の研究成果数: 0件
36. 河原康雄 (90091181)

共同の研究課題数: 1件

共同の研究成果数: 0件
37. 宮野悟 (50128104)

共同の研究課題数: 1件

共同の研究成果数: 0件
38. 有川節夫 (40037221)

共同の研究課題数: 1件

共同の研究成果数: 0件
39. 小林孝次郎 (00016148)

共同の研究課題数: 1件

共同の研究成果数: 0件
40. 米澤昭憲 (00133116)

共同の研究課題数: 1件

共同の研究成果数: 0件
41. 吉川敦 (80001866)

共同の研究課題数: 1件

共同の研究成果数: 0件
42. 小林直樹 (00262155)

共同の研究課題数: 1件

共同の研究成果数: 0件
43. 山田修司 (30192404)

共同の研究課題数: 1件

共同の研究成果数: 0件
44. 高須達 (10027360)

共同の研究課題数: 1件

共同の研究成果数: 0件
45. 中原敬子 (90155797)

共同の研究課題数: 1件

共同の研究成果数: 0件
46. 浅見洋 (00132598)

共同の研究課題数: 1件

共同の研究成果数: 0件
47. 萩原兼一 (00133140)

共同の研究課題数: 1件

共同の研究成果数: 0件
48. 榎本肇 (60016227)

共同の研究課題数: 1件

共同の研究成果数: 0件
49. 井田哲雄 (70100047)

共同の研究課題数: 1件

共同の研究成果数: 0件
50. 南部隆夫 (40156013)

共同の研究課題数: 1件

共同の研究成果数: 0件
51. 垣内逸郎 (90091248)

共同の研究課題数: 1件

共同の研究成果数: 0件
52. 高橋典大 (00031295)

共同の研究課題数: 1件

共同の研究成果数: 0件
53. 田畑稔 (70207215)

共同の研究課題数: 1件

共同の研究成果数: 0件
54. 中桐信一 (20031148)

共同の研究課題数: 1件

共同の研究成果数: 0件
55. 篠田寿一 (30022685)

共同の研究課題数: 1件

共同の研究成果数: 0件
56. 田中一之 (70188291)

共同の研究課題数: 1件

共同の研究成果数: 0件
57. 高橋譲嗣 (30197149)

共同の研究課題数: 1件

共同の研究成果数: 0件
58. 小林聡 (60195831)

共同の研究課題数: 1件

共同の研究成果数: 0件
59. 向井国昭 (80245597)

共同の研究課題数: 1件

共同の研究成果数: 0件
60. 鷲原雅子 (40065800)

共同の研究課題数: 1件

共同の研究成果数: 0件
61. 小田秀典 (40224240)

共同の研究課題数: 1件

共同の研究成果数: 0件
62. 米崎直樹 (00126286)

共同の研究課題数: 1件

共同の研究成果数: 0件
63. 赤間陽二 (30272454)

共同の研究課題数: 1件

共同の研究成果数: 0件
64. 高橋大輔 (50188025)

共同の研究課題数: 1件

共同の研究成果数: 0件
65. 石原哉 (10211046)

共同の研究課題数: 1件

共同の研究成果数: 0件
66. 山崎武 (30336812)

共同の研究課題数: 1件

共同の研究成果数: 0件
67. 橋本雄太 (10802712)

共同の研究課題数: 1件

共同の研究成果数: 0件
68. 加納靖之 (30447940)

共同の研究課題数: 1件

共同の研究成果数: 0件
69. 久木田水生 (10648869)

共同の研究課題数: 1件

共同の研究成果数: 0件
70. 森雅秀 (90230078)

共同の研究課題数: 1件

共同の研究成果数: 0件
71. 秋富克哉 (80263169)

共同の研究課題数: 1件

共同の研究成果数: 0件
72. 美濃部仁 (50328960)

共同の研究課題数: 1件

共同の研究成果数: 0件
73. 鹿雪瑩

共同の研究課題数: 1件

共同の研究成果数: 0件
74. PARIGOT Michel

共同の研究課題数: 1件

共同の研究成果数: 0件
75. HUET Gerard

共同の研究課題数: 1件

共同の研究成果数: 0件
76. JOUANNAUD Jean-Pierre

共同の研究課題数: 1件

共同の研究成果数: 0件
77. CURIEN Pierre-Luis

共同の研究課題数: 1件

共同の研究成果数: 0件
78. GIRARD Jan-Yves

共同の研究課題数: 1件

共同の研究成果数: 0件

林 晋 Hayashi Susumu

林 普 ハヤシ ススム

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

社会学的・情報学的手法による数学基礎論史の解明研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

古文書のウェブを目指して研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

京都学派の思想史における史料学的アプローチ研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

人文学研究を促進する協働のための情報共有基盤に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

西田哲学・田邊哲学のテキスト生成研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

REASONING WEB:UMLシステム検証の統合フレームワークに向けて研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

PAC学習の論理研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

林晋 Hayashi Susumu

林普ハヤシススム