グレーのタブは会社を解放すると表示できます
グレーのタブは会社を解放すると表示できます
法人向け
業種・対象顧客は公開情報をもとに 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年7月
31期分（2024/01〜2026/07）
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、ダイラムダ株式会社の決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る株式会社プレタク
株式会社プレタクは、デジタルコンテンツを対象に「高品質であなた専用のセミオーダー」サービスを提供する京都を拠点とする企業です。20年以上の豊富な業界経験を持つメ…
株式会社ラビシス
株式会社ラビシスは、多岐にわたる事業を展開する企業です。同社は主にシステム開発、中小企業システムサポート、Webサイト制作、ネット物販、不動産賃貸業、そして福祉…
ユニバーサルヘルスウェア有限会社
ユニバーサルヘルスウェア有限会社は、アークレイマーケティング株式会社のITソリューション開発部門が独立し、アークレイグループの企業として2014年12月に開設さ…
アブソーブシステムデザイン株式会社
アブソーブシステムデザイン株式会社は、お客様のアイデアを具現化するための技術コンサルタント、ソフトウェア・ハードウェアのオーダーメイド開発、そしてオリジナル製品…
エクストライノベーション株式会社
エクストライノベーション株式会社は、「全てのものに革新を与える」という理念のもと、最新技術と革新的なアイデアを駆使し、世の中を豊かに動かすことを目指す企業です。…
アクセラＳＴ株式会社
アクセラＳＴ株式会社は、「御用達ビジネス」を理念に掲げ、お客様のために「あつらえる」という姿勢で多岐にわたる事業を展開しています。同社の主要事業は、ソフトウエア…
有限会社アールツー・メディアソリューション
有限会社アールツー・メディアソリューションは、1997年の設立以来、多岐にわたるソフトウェアおよびサーバシステムの企画、開発、製造、販売、保守を一貫して手掛ける…
株式会社ＡｃｃｏｒｄＳｙｓｔｅｍ
株式会社AccordSystemは、EC・リユース事業者向けに特化したシステム開発および業務改善支援を提供する企業です。同社は、EC特有の複雑な業務フローやSa…
株式会社Ｍｅｔａ Ｅａｒｔｈ
株式会社Meta Earthは、京都府京都市中京区西ノ京小倉町を所在地に、2021年7月設立のメタバース構築支援事業者で、代表は森島淑佳氏。企業やブランドが次世…
株式会社Ｃｏｏｌｗａｒｅ
株式会社Coolwareは、京都のけいはんな学研都市を拠点に、情報技術を活用したビジネス革新を支援するソフトウェア開発企業です。同社は、スマートフォンアプリ、業…
合同会社Ｙｓｙｓ
合同会社Ysysは、iOSアプリの企画・開発および業務用アプリの開発・保守を主要事業として展開しています。同社は、顧客のビジネスニーズに応じたiOSプラットフォ…
スマートアップ株式会社
スマートアップ株式会社は、2015年4月21日に設立されたソフトウェア開発企業であり、エンジニアのキャリアと技術者としての誇りを重視する企業文化を基盤としていま…
株式会社ミオシステム
株式会社ミオシステムは、お客様の笑顔を増やすための「仕組み」を作るITソリューション開発を主軸とする企業です。同社は25年以上にわたり、AI、IoT、画像・音声…
マイクロウェア株式会社
マイクロウェア株式会社は、1998年の設立以来、コンピュータソフトウェアの開発及び販売、コンピュータ関連コンサルティング業務、コンピュータ導入指導・企画・立案を…
株式会社アピリッツ上場
