J-GLOBALについて

ENGLISH

文字サイズ
  • 小
  • 大

文献の詳細情報

文献J-GLOBAL ID:200902015700211885整理番号:86A0328734

形式的仕様記述技法WSMとその実行可能形式への変換の試み

Formal specification description technique WSM and experiment of its conversion to executable format.

著者:河野誠一(早稲田大理工)、引田啓之(早稲田大理工)、門倉敏夫(早稲田大理工)・・・
資料名:情報処理学会全国大会講演論文集 巻:32nd 号:1 ページ:759-760
発行年:1986年
  • J-GLOBALホームを見る
  • J-GLOBALをブックマークする

J-GLOBALでつながる、ひろがる、ひらめく

J-GLOBALについて

情報がつながる

J-GLOBALでは研究開発でキーとなる情報をつないでいます。例えば、文献と特許を人(著者・発明者)でつなぎ、そのつながりから次々と情報を取り出せます。
新たな気付きや、今まで見つからなかった情報の発見に役立ちます。

発想がひろがる

着目した情報が、連携する外部サイトリンクや内容が近い情報が見つかる関連検索でひろがります。
異分野の知識獲得や専門分野を超えた発想を支援します。

アイディアがひらめく

つながる・ひろがるの繰り返しから、思わぬ問題解決のヒントや新たなアイディアがひらめくキッカケを提供します。