京都府京都市左京区に所在する、2018年設立・社会保険被保険者数0名のIT・ソフトウェア（受託開発）企業。
- 所在地
- 〒606-8251 京都府 京都市左京区 北白川東伊織町１７番地１６
- 法人番号
- 9130001062984
Google ワンタップ・30 秒 ／ ログイン
京都府京都市左京区に所在する、2018年設立・社会保険被保険者数0名のIT・ソフトウェア（受託開発）企業。
法人向け
業種・対象顧客は公開情報をもとに AI が推定したものです。持株会社など グループ経営の会社では、主要な事業会社の業種を表示します。実態と 異なる場合はお問い合わせください。
ダイラムダ株式会社は、型システム、静的解析、モデル検査、定理証明といった形式検証技術を駆使し、暗号通貨を含む社会インフラシステムの安全性向上に取り組むテクノロジー企業です。同社の主要事業は、海外の非営利財団からのオープンソースソフトウェア研究開発受託であり、特にパブリックブロックチェーン「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と連携し、講演やハンズオンを通じてコミュニティ形成に貢献しています。純粋なテック企業として、暗号通貨への投資や投機、その斡旋は行わず、クリティカルシステムの安全な開発に専念しています。
2026年4月30日 時点。この概要は AI を利用して公開情報から抽出しています。事実と異なる箇所がある場合は お問い合わせください。
社会保険被保険者数
0人 · 2026年9月
33期分（2024/01〜2026/09）
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、ダイラムダ株式会社の決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る同地域・同業種で選定
同業種の企業を読み込み中
所在地を問わず同業種で選定
株式会社セック上場
ＣＬＩＮＫＳ株式会社
株式会社Ｓｕｎ Ａｓｔｅｒｉｓｋ上場
株式会社コア上場
株式会社アピリッツ上場
株式会社Ｆｕｓｉｃ上場
株式会社テコテック
株式会社ｆｏｎｆｕｎ上場
