ログインして、InfoQのすべての体験をアンロックしましょう！お気に入りの著者やトピックの最新情報を入手し、コンテンツと交流し、限定リソースをダウンロードできます。 “AI活用”をキーワードに「AIを使い倒し／使いこなす」企業の最前線をお届けし ...

Developers Summit 2026・Dev x PM Day 講演資料まとめ Developers Boost 2025 講演資料まとめ Developers X Summit 2025 講演資料まとめ Developers Summit 2025 FUKUOKA 講演関連資料まとめ Developers Summit 2025 KANSAI 講演関連資料まとめ Developers ...

8日 (米国時間)、XRubyの最新版となる「XRuby 0.3.0」が公開された。XRubyはJavaおよびRubyを使って開発されたRubyコンパイラ。RubyのソースコードをコンパイルしてJavaバイトコードを生成する。プロダクトはGNU GENERAL PUBLIC LICENSE Version 2のもとで公開されている。

ログインして、InfoQのすべての体験をアンロックしましょう！お気に入りの著者やトピックの最新情報を入手し、コンテンツと交流し、限定リソースをダウンロードできます。 クラウドコンピューティングの登場以降、ソフトウェア業界は大きな変革の中に ...

Kernel/VM探検隊は、カーネルやVM、およびその他なんでもIT技術の話題ジャンルについて誰でも何でも発表してワイワイ盛り上がろうという会です。monochrome氏は、Ruby処理系「monoruby」について発表しました。 高速な実行が可能なRuby処理系「monoruby」 monochrome氏 ...

Dafny-EVM の別の利用法は、コードスニペット間の等価性を形式的に証明することです。この論文の命題 12 は、形式 $${SWAPN\ POP^{N+1}}$$ のあらゆるシーケンスを $${POP^{N+1}}$$ で置きかえることを提案します（正規言語表記をつかうので $${a^k}$$ は $${a}$$ を $${k} ...

Developers Summit 2026・Dev x PM Day 講演資料まとめ Developers Boost 2025 講演資料まとめ Developers X Summit 2025 講演資料まとめ Developers Summit 2025 FUKUOKA 講演関連資料まとめ Developers Summit 2025 KANSAI 講演関連資料まとめ Developers ...

このセクションでは Dafny-EVM のつかいかた ── バイトコードのいくつかの性質を形式的に証明するための方法を紹介します。 EVM は 2^256 のモジュローで計算し、結果として算術オーバーフローで中止しません（これは MoveVM のようなスマートコントラクト用 ...

第688回の 「eBPFのコンパイラーに対応したツールでさまざまな挙動を可視化する」 ではBPF Compiler Collectionに付属の各種サンプルツールの使い方を紹介しました。今回はコンパイラーを活用して、 自分でeBPF用コードを書くための基礎を学んでみましょう。