About J-GLOBAL

日本語

Font size
  • A
  • A

Researcherの詳細情報

更新日 2016年06月02日

ResearcherJ-GLOBAL ID:200901048965447670

小林 聡

コバヤシ サトシ | KOBAYASHI SATOSHI

所属機関・部署:京都産業大学 コンピュータ理工学部 インテリジェントシステム学科 京都産業大学 コンピュータ理工学部
職名:教授
研究キーワード:構成的論理 非古典論理 プログラム抽出 様相論理 証明論 圏論的論理 実現可能性解釈 帰納的定義 極限計算可能数学 ゲーム意味論
  • J-GLOBAL home
  • Bookmark J-GLOBAL

J-GLOBAL: Linking, Expanding and Sparking

About J-GLOBAL

Linking

J-GLOBAL links information that represents the key to research and development. For example, linking articles and patents with people (authors and inventors) enables the extraction of a sequence of information.
It’s useful for making new discoveries and uncovering new information.

Expanding

The system enables searches of similar kinds of content through linkage with external sites.
It helps you to obtain knowledge from dissimilar fields and discover concepts that cross the boundaries of specialisms.

Sparking

Through repeated linkage and expansioniteration, J-GLOBAL provides unexpected hints for problem-solving and the illumination of new ideas.