有限会社ITプランニング

弊社は関数型言語によるソフトウェアの効率的な開発を強みとしております。主に金融系のバックオフィス業務や高度なプログラム解析のために用いられてきた関数型言語の良い効果を、組込みシステムやエンタープライズ系など、より広汎なソフトウェア開発に適用することを使命としています。

HTML5 / CSS3 FXチャート CONGA (コンガ)

HTML5/CSS3技術を元にしたFXチャートCONGAのデモを公開いたしました。関数プログラミングの商用ユーザの国際ワークショップ CUFP 2011 で発表予定です。

OCaml 2011年1月、弊社はスマートフォン向けWebチャートシステムをFXプライム株式会社様に納品いたしました(詳細はこちら)。 HTML5/CSS3技術を用いており、Android/iPhone両対応が特徴です (金融業初)。関数型言語OCamlを用いてJavaScriptコードを生成することで、短期間で効率的な開発を行いました(技術情報)。ソフトウェア科学会 PPL2011にてポスター発表をいたしました。

弊社では他にも外為チャートシステムについて多数の納品実績がございます。使い勝手の良いインターフェイスと多数のテクニカル分析を搭載しており好評です。

記事本文へ

関数型言語セミナー、講演活動等 : 2011年

F#/Scala 2011年も弊社スタッフによる関数型言語セミナーが開催されます！関数型言語の導入をお考えの皆様は、是非参加・受講をご検討下さい。

(2011/10/25)「Scala入門」 ((株)名古屋ソフトウェアセンター主催)
(2011/09/06)「F#で学ぶ関数型言語」 ((株)名古屋ソフトウェアセンター主催)
(2011/08/08)「現場で活かす関数型プログラミング(F#編)」((株)豆蔵)
(2011/07/12)「Coqで学ぶ定理証明入門」(トップエスイー教育センター)
(2011/04/12)QCon Tokyo 2011で弊社今井宜洋がプログラム定理証明の応用について講演しました

記事本文へ

書籍

弊社社員が関数型言語Scalaの本を執筆しました。

「Scala実践プログラミング—オープンソース徹底活用」
ISBN: 978-4-7980-2998-6
出版社: 秀和システム

組込み系ワークショップでポスター賞受賞(2010年9月)

SWEST ロゴ弊社スタッフが、「第12回組込みシステム技術に関するサマーワークショップ (SWEST12)」で 『オープンソースと関数型言語によるプログラム解析とカバレッジテスト自動実行』について発表し、ベストポスター賞を受賞致しました。 (当日のポスター(PDF))

記事本文（準備中）

オープンソース次世代運用管理システム

2009年より、弊社は名古屋大学様向けにネットワーク管理システム「次世代運用管理システム(NGMS)」を開発中です。プログラミング言語 Scala を採用することで、成果物の信頼性と開発効率の両立を図っております。 NGMSはネットワーク管理者にとって自由度と利便性の高いシステムを目指しており、次の特徴があります：

複数のネットワーク機器の構成ファイルの一括管理
他のネットワーク監視ツール(Nagios/Cacti)との連携
ネットワーク管理に特化した「NGMSスクリプト」＆直観的なWebインタフェース（予定）

ソースコードは公開されており、どなたでもご利用・改変いただけます。

学会活動：弊社スタッフがPPL2011のプログラム委員に

弊社スタッフがソフトウェア科学会第13回プログラミングおよびプログラミング言語ワークショップPPL2011のプログラム委員を承りました。