GTM-MML4VXJ
Skip to main content

English

Japan

  1. ホーム >
  2. 公開ツール

公開ツール

富士通研究所の研究成果として、一般公開されているツールを無償でご利用いただくことができます。利用条件等に関しては、各ツールのページをご覧下さい。

ツール一覧

SyNRAC

SyNRACは、一階述語論理式から限量記号(∃,∀)を取り除く限量記号消去(quantifier elimination)の計算ソフトウェアです。

CHOCOA

CHOCOAは、仕事しながら、ウェブを見ながらなど「ながら」でできるチャットシステムを目指して開発されたIRCクライアントです。

GTM-WDW4ZH