Input | Output (IO) was founded on the promise of being a catalyst for change—to transform global systems for everyone, everywhere, and to champion products that are built ethically from the outset. Since our early days in 2017, these principles have remained constant. Through hard lessons, trials, triumphs, and everything in between, we’ve embraced the guiding principle that…

The previous blog post discussed formal methods and their role in blockchain development.

Building on the importance of formal methods, Input | Output (IO) demonstrates their practical application through real-world examples. By integrating these techniques into the development process, IO ensures robust, high-assurance systems that drive innovation in blockchain technology.

…

Reliability, security, and efficiency are crucial factors when dealing with complex and fast-evolving decentralized systems such as blockchains.

At Input | Output (IO), formal methods are a cornerstone in achieving these goals. With a rigorous mathematical approach, IO addresses challenges unique to blockchain development – such as unpredictable network conditions, the security…

Doomの歴史概要

ゲーマーコミュニティの中で、Doomほど共感を呼ぶタイトルは少ない。不朽の名作であることに加え、ゲーム史の文脈ではDoom前とDoom以降と括ることができると言っても過言ではない。特にFPS（ファーストパーソンシューティング）ジャンルにおいて、まぎれもなく永続的な影響を与えている。

1993年にエピソード形式で発売されたDoomは大売れし、数々の賞を受賞し、アマチュアのゲーマーやプログラマーが新たなゲームモード、マップ、武器などを作成して膨張を続けるDoomの世界に付け加えていき、たった一作でMODコミュニティという新しい現象を生み出すことになった。Doomシリーズの成功は現在に至るまで続いており、2025年には最新作『Doom: The Dark Ages』が発売される予定である。

ゲーム界におけるデスマッチの誕生

Doomの多くの功績の一つは、デスマッチ、すなわちフリーフォーオール形式を普及させたことである。デスマッチでは、ルールに応じて、一人のプレイヤーだけが所定のキル数（またはフラグ）に達するか、ラウンドの最後まで生き残った最後のプレイヤーになるまで、複数のプレイヤーがアリーナで対戦する。「デスマッチ」という用語は1950年代にまで遡ることができる。当時はレスリングの試合を表すために時おり使用された。しかし、Doomはこの言葉を急速に普及させた。この言葉をDoomに使用したのは、一般にゲームデザイナーの一人であるJohn Romeroだとされている。実際、彼はFPSという意味でデスマッチという用語を最初に使用したと言われている…

Input | Output（IO）における画期的な研究から現実世界へのインパクトへ至る道のりは、決してありふれたものではありません。IOの使命は明確です。それは、革新的なアイデアを、ユーザーの生活を真により良いものにするソフトウェアへと変容させることです。これを達成するために必要なものは、単に素晴らしいアイデアだけではありません。開発のすべての段階において、品質と精度に対し常に目を光らせている必要があります。ここに、野心的なコンセプトと信頼性が高くユーザーフレンドリーなソフトウェア製品との橋渡しとなるべく、Quality Engineering（QE）が設置されました。

今日、IOはQE…