ITプランニングは、情報技術の本当の力をお届けします。
□ 金融チャートソリューション
□ システム構築/受託開発

ニュース

トップエスイー講義 定理証明と検証(2013年8月)

弊社社員が講師を努めるトップエスイー講義「定理証明と検証」が2013年8月8日,9日に開催されます。

型システム入門 プログラミング言語と型の理論(2013年3月)

型システム入門 名著TAPL(Types and Programming Languages)の翻訳本の執筆に弊社社員が参加しました。