技術・実績

これまで弊社では基礎的な技術力の高さを活かし、プログラミング言語、OS、ハードウェア等に垣根を作らず、様々な環境における研究開発やソフトウェア開発等を行ってきました。これらの活動を通じ、今後もより一層社会に貢献する企業であり続けたいと願っております。

研究開発支援

安全なC言語コンパイラの研究開発 (Fail-Safe C)
Mozilla® Firefox®の内部構造解析と改変の作業支援
Mozilla® Firefox®の独自ブランディングバージョン作成の作業支援
C++によるMozilla® Firefox®用HTTP認証機能拡張の開発
C++によるApache HTTPサーバ用認証モジュールの開発
定理証明支援系によるソフトウェア検証
通信プロトコル実装の網羅的検査環境構築
OpenID Connect上でのプライバシーに配慮した属性連携に関する研究開発支援
モデルチェッカを用いた通信プロトコルの安全性検証
プログラム解析・変換フレームワークの開発
Linux kernelへのAPI追加

コンサルテーション

デジタルID戦略策定支援
HTTP認証技術標準化戦略策定支援
アパレル分野向け業務アプリケーションの問題点分析と改善案のコンサルティング
ソフトウェア開発向けプロジェクト管理ソフトウェアの改修及び導入支援
情報セキュリティに関する作業支援(詳細非公開)

ソフトウェアデベロップメント

Webアプリケーション

キーワードを使用したCGMシステムの周辺アプリケーション開発
Webマーケティングリサーチ用アプリケーション開発
Facebookアプリケーション開発

スマートデバイス向けアプリケーション

ARアプリケーションの開発
ARナビゲーションの開発
BREWによる携帯電話を利用した位置情報管理および遠隔撮影システム開発
Ruby on Railsによる位置情報蓄積Linuxサーバアプリケーションの開発
BREWによるKDDI携帯電話用プリインストールアプリケーションの設計と開発
Brew MP機器向けソフトウェアコンポーネント開発

無線LAN

WISPr認証用ライブラリ開発
公衆無線LANサービス自動接続アプリケーションの開発（対応キャリア/プラットフォーム多数）
無線LAN APを利用した現在地情報取得アプリケーションの開発協力

その他

デジタルサイネージアプリケーション開発
動画編集アプリケーション向け新機能実装プロトタイプ
Javaによる教育用学習ソフトの設計と開発
Javaによる高速QRコード生成ライブラリの設計、開発とライセンス販売
Javaによるイベント管理用QRコード受講票出力システムの開発
Javaによるイベント予約及び入場管理システムの開発
C#による特定用途向けシーケンス制御エンジンの設計と開発
C#による外食産業向けシステムの設計と開発
C#によるコールセンター向け音声感情認識・記録管理システムの設計と基礎開発

システムインテグレーション

イベント管理用システムの設計構築
バージョン管理及び継続的インテグレーションを含むソフトウェア開発管理システムの導入支援
大手CPUメーカー販促イベント・キャンペーンサイト構築
開発向け仮想化環境構築・運用

ネットワークインテグレーション

イベント会場の受付ネットワークシステムの構築

主な使用言語

C/C++
C#
Objective-C
OCaml
Scala
Ruby
Java
Perl
Coq
ProVerif