About J-GLOBAL

日本語

Font size
  • A
  • A

Researcherの詳細情報

更新日 2009年02月03日

ResearcherJ-GLOBAL ID:200901032940143958

田中 三貴

タナカ ミキ | TANAKA Miki

所属機関・部署:旧所属 独立行政法人情報通信研究機構 情報通信部門 セキュリティ基盤グループ
職名:専攻研究員
研究キーワード:セキュリティ、形式的手法による検証、暗号プロトコル、プログラミング言語意味論、理論計算機科学
  • 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.