ブログ > 2024 > November

Delivering change in Ethiopia: lessons and reflections

2024年 11月 28日 Staff Writer 17 分で読めます

Delivering change in Ethiopia: lessons and reflections

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…

Applying formal methods at Input | Output: real-world examples

In a landscape where error margins are costly, IO leverages formal methods to deliver secure, mathematically grounded blockchain solutions. In the second of a two-part blog on formal methods at IO, we take a deeper dive into real-world implementation examples

2024年 11月 26日 James Chapman 8 分で読めます

Applying formal methods at Input | Output: real-world examples

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.

From theory to implementation: why formal methods in blockchain development matter

In the first of a two-part blog, we look at how building a secure, resilient blockchain requires rigorous techniques. Let’s explore the theory behind formal methods and how they bring reliability to the Cardano ecosystem

2024年 11月 25日 James Chapman 5 分で読めます

From theory to implementation: why formal methods in blockchain development matter

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…

Hydra Doomトーナメント

2024年 11月 22日 Fernando Sanchez 4 分で読めます

Hydra Doomトーナメント

Doomの歴史概要

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

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

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

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

IOのQuality Engineering:ソフトウェア開発における研究と現実の橋渡し

2024年 11月 20日 Ivan Irakoze 5 分で読めます

IOのQuality Engineering:ソフトウェア開発における研究と現実の橋渡し

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

今日、IOはQE…