法人向け
ダイラムダ株式会社は、型システム、静的解析、モデル検査、定理証明といった形式検証技術を駆使し、暗号通貨を含む社会インフラシステムの安全性向上に取り組むテクノロジー企業です。同社の主要事業は、海外の非営利財団からのオープンソースソフトウェア研究開発受託であり、特にパブリックブロックチェーン「Tezos」のコア開発に深く関与しています。Tezos SouthEast AsiaやTezos財団からの委託を受け、Nomadic Labsなどの他のTezosコア開発者と連携しながら、Tezosプロトコルの実装やエコシステム開発を推進しています。 具体的なプロジェクトとしては、Tezosブロックチェーンの状態を記録する次世代ストレージシステム「Plebeia」の開発を手掛けており、これはMerkle Patricia treeの実装であり、F*やCoqを用いた基礎アルゴリズムの形式証明を目指しています。また、OCamlからTezosスマートコントラクトのVM言語であるMichelsonへのコンパイラ「SCaml」を開発。SCamlはOCamlの厳密なサブセットとして、安全なスマートコントラクト生成の可能性を追求し、OCaml一言語でのアプリ開発を可能にします。さらに、Michelsonプログラムをより小さく効率的なコードに最適化するツール「Optz」を提供し、ルールベース変換とA*アルゴリズムを組み合わせた高度な最適化を実現しています。このOptzはTezosメインネットのコントラクトで効果が実証されており、ソースコード、Dockerイメージ、Webアプリとして公開されています。 同社は、高速かつ大規模なアカウント残高ストレージのプロトタイプ「Stonerope」や、MonacoエディタライブラリのOCaml Js_of_ocamlインターフェース「Monaco_jsoo」の開発も行っています。技術的な強みは、形式検証と相性の良い関数型言語OCamlを積極的に活用し、プログラムの安全性を保証する点にあります。また、日本国内でのTezos技術普及活動にも注力しており、一般社団法人Tezos Japanと連携し、講演やハンズオンを通じてコミュニティ形成に貢献しています。純粋なテック企業として、暗号通貨への投資や投機、その斡旋は行わず、クリティカルシステムの安全な開発に専念しています。
従業員数（被保険者）
0人 · 2026年5月
29期分（2024/01〜2026/05）
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、ダイラムダ株式会社の決算・登記履歴・役員・関係企業・知財・政府調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る株式会社プレタク
株式会社プレタクは、デジタルコンテンツを対象に「高品質であなた専用のセミオーダー」サービスを提供する京都を拠点とする企業です。20年以上の豊富な業界経験を持つメ…
株式会社ラビシス
株式会社ラビシスは、多岐にわたる事業を展開する企業です。同社は主にシステム開発、中小企業システムサポート、Webサイト制作、ネット物販、不動産賃貸業、そして福祉…
ユニバーサルヘルスウェア有限会社
ユニバーサルヘルスウェア有限会社は、アークレイマーケティング株式会社のITソリューション開発部門が独立し、アークレイグループの企業として2014年12月に開設さ…
アブソーブシステムデザイン株式会社
アブソーブシステムデザイン株式会社は、お客様のアイデアを具現化するための技術コンサルタント、ソフトウェア・ハードウェアのオーダーメイド開発、そしてオリジナル製品…
