Kobayashi Satoshi 小林聡

… Alternative Names

Researcher Number	70234820
Other IDs
External Links
Affiliation (Current)	2022: 京都産業大学, 情報理工学部, 教授
Affiliation (based on the past Project Information) *help	2008 – 2010: 京都産業大学, コンピュータ理工学部, 教授 2006 – 2007: 京都産業大学, 理学部, 教授 2001: 京都産業大学, 理学部, 助教授 1995: Rykoku University, Department of Applied Mathematics and Informatics, Research A, 理工学部, 助手 1995: 龍谷大学, 理工学部・数理情報学科, 助手
Review Section/Research Field	Except Principal Investigator Intelligent informatics / Fundamental theory of informatics / General mathematics (including Probability theory/Statistical mathematics) / 計算機科学
Keywords	Except Principal Investigator 極限再帰性 / 実効的一様位相 / 極限再帰関数 / 知識の論理 / 情報構造 / 限定合理性 / モデル / 証明論 / パズル / 様相論理 … More

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
  
  八杉満利子
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto Sangyo University
限定合理性の情報構造:証明論およびセラ・オートマタによる特徴づけ
- Principal Investigator
  
  YASUGI Mariko
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyoto Sangyo University
The new aspects in constructive programming.
- 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

All 2008 2007 Other

All Journal Article Presentation

[Journal Article] A New Translation for Semi-classical Theories-Backtracking without CPS2008
- Author(s)
  Satoshi Kobayashi
- Journal Title
  
  Proceedings of Ninth FLOPS(LNCS, Springer) 4989(In print)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18650003
[Journal Article] 極限計算可能数学のゲーム意味論
- Author(s)
  小林聡
- Journal Title
  
  日本ソフトウェア科学会第24回大会論文集 (CD-ROM)
- NAID
  40022087436
- Data Source
  KAKENHI-PROJECT-18650003
[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] 極限計算可能数学のゲーム意味論2007
- Author(s)
  小林聡
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-13
- Data Source
  KAKENHI-PROJECT-18650003

1. YASUGI Mariko (90022277)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. HAYASHI Susumu (40156443)

# of Collaborated Projects: 3 results

# of Collaborated Products: 3 results
3. MORI Takakazu (00065880)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. TSUJII Yoshiki (90065871)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. NAKANO Hiroshi (30217799)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 小田秀典 (40224240)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 小林聡 (60195831)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Kobayashi Satoshi 小林 聡

KOBAYASHI Satoshi 小林 聡

小林 聡 コバヤシ サトシ

Research Projects

Research Products

Co-Researchers

Multilateral research on the role of limiting recursive functions in the computability problem

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

極限計算可能数学の計算機上の実行

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

限定合理性の情報構造:証明論およびセラ・オートマタによる特徴づけ

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

The new aspects in constructive programming.

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A New Translation for Semi-classical Theories-Backtracking without CPS2008

Author(s)

Journal Title

Data Source

[Journal Article] 極限計算可能数学のゲーム意味論

Author(s)

Journal Title

NAID

Data Source

[Presentation] Game semantics and translational semantics for limit computable mathematics2008

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 極限計算可能数学のゲーム意味論2007

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

Kobayashi Satoshi 小林聡

KOBAYASHI Satoshi 小林聡

小林聡コバヤシサトシ