About J-GLOBAL

日本語

Font size
  • A
  • A

Researcherの詳細情報

更新日 2017年10月26日

ResearcherJ-GLOBAL ID:201401093199514640

末永 幸平

スエナガ コウヘイ | Kohei Suenaga

所属機関・部署:京都大学
職名:准教授
研究キーワード:静的検証、超準解析、形式手法、型システム、ホーア論理・・・
  • 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.