レバテックLAB

“解読不能”な文字列の意味が分かる？数学を武器に「暗号」の世界に挑む5冊【IPUSIRON】 | レバテックラボ（レバテックLAB） はじめまして、IPUSIRON（@ipusiron）と申します。暗号と聞くと「難解」「高度な数学」という印象を持つかもしれません。しかしその本質は、暗号をつくる者と破る者の知恵比べにあります。歴史と人間が交差する、極めて刺激的な分野なのです。今回紹介するのは現代暗号が2冊、古典暗号が3冊になります。

【IPUSIRON氏とともに良書との出会いを届ける新コーナー】
今回のテーマは「暗号技術」📚

エニグマ、連続殺人鬼「ゾディアック・キラー」の暗号、現代の攻撃手法「サイドチャネルアタック」まで、
あらゆる「暗号」を堪能できる書籍たち⏬
levtech.jp/media/articl...

遊戯王に必勝法はある？ “あっても分からない”と数学的に証明と報告。「Π¹₁完全」で暫定MTG超えの複雑さ levtech.jp/media/articl... ある戦略が絶対勝てるかはどんなコンピュータでも判定できないと証明。八汰烏などを用い遊戯王上にチューリングマシンを再現し検証→現時点で遊戯王が一番複雑なゲーム

遊戯王に必勝法はある？ “あっても分からない”と数学的に証明と報告。「Π¹₁完全」で暫定MTG超えの複雑さ【研究紹介】 レバテックラボ（レバテックLAB） 遊戯王で、ある戦略が確実に勝てる戦略かをコンピュータで判定できるかという問いは、数学的に決定不能？

遊戯王に必勝法はある？ “あっても分からない”と数学的に証明と報告。「Π¹₁完全」で暫定MTG超えの複雑さ【研究紹介】
levtech.jp/media/articl...

Goが15年でバックエンドの標準になるまで。偉大なる“退屈さ”が世界の開発文化を変えた理由 | レバテックラボ（レバテックLAB） 2009年の登場から15年以上が経過し、Goは今やクラウドネイティブ時代の「標準言語」とも呼べる確固たる地位を築きました。定着期に入った今だからこそ、改めて問いたいことがあります。なぜ、Goはこれほどまでに開発現場に浸透したのでしょうか。そして、その独特な哲学が、私たちエンジニアの開発文化にもたらした影響とは。本記事では、松木雅幸（Songmu）さんにお話を伺いました。

Goが15年でバックエンドの標準になるまで。偉大なる“退屈さ”が世界の開発文化を変えた理由
levtech.jp/media/articl...

インフラ領域からWeb開発のメインストリームとなるまでの、言語を取り巻く環境の変化、そして生成AI時代における展望を松木雅幸 @songmu.bsky.social さんに語っていただきました🖊️

伊藤淳一が考える「コードレビューの目的と進め方」 | レバテックラボ（レバテックLAB） 教わる機会が少ないコードレビュー。「なんとなく」を卒業し、確かな軸を持って取り組むための観点を身につけませんか。伊藤淳一氏が、良いコードの定義からGitHubでの実践まで、チーム開発の質を支える「コードレビューの目的と進め方」を解説します。

コードレビュー、“なんとなく”でやってませんか？

意外と教わる機会のない「コードレビューの目的と進め方」を伊藤淳一さん @jnchito.bsky.social が言語化。

・レビューで重視すべき観点は？
・レビューするとき、GitHubをどこから見ていく？
・2回目以降のレビューの進め方は？

levtech.jp/media/articl...

伊藤淳一が考える「コードレビューの目的と進め方」 | レバテックラボ（レバテックLAB） 教わる機会が少ないコードレビュー。「なんとなく」を卒業し、確かな軸を持って取り組むための観点を身につけませんか。伊藤淳一氏が、良いコードの定義からGitHubでの実践まで、チーム開発の質を支える「コードレビューの目的と進め方」を解説します。

コードレビュー、“なんとなく”でやってませんか？

意外と教わる機会のない「コードレビューの目的と進め方」を伊藤淳一さん @jnchito.bsky.social が言語化。

・レビューで重視すべき観点は？
・レビューするとき、GitHubをどこから見ていく？
・2回目以降のレビューの進め方は？

levtech.jp/media/articl...

「Web標準で十分なことに、独自の抽象化は必要ない」
記事ではこのRemix v3を貫くメッセージを、実践例とともに再確認します。

さらに、従来のReact開発と比較しつつ、長期的な視点での技術選定のヒントを整理しました⏬
levtech.jp/media/articl...

AIで開発は速くなる。でも、たくさん開発できるからといって、たくさん開発しなくていいのでは？

吉羽龍太郎さんに、アジャイルという思想の根幹を理解していないと見落としやすい“AI時代のアジャイルの逆説”を、聞きました。

levtech.jp/media/articl...

Next.jsアプリの品質をどう守る？単体テスト・テスト戦略・セキュリティの要点をつかむ3冊 | レバテックラボ（レバテックLAB） Next.js アプリの品質を継続的に保つためには、まず「良いテストとは何か」を定義し、次に複数レイヤを横断するテスト設計を学び、最後に脆弱性の基礎と対処を実装目線で押さえる、という流れが取り組みやすいでしょう。その段階的な理解を支える3冊を紹介します。

Next.jsアプリの品質をどう守る？単体テスト・テスト戦略・セキュリティの要点をつかむ3冊

【Next.js アプリの品質を継続的に保つためには、
まず「良いテストとは何か」を定義し、
次に複数レイヤを横断するテスト設計を学び、最後に脆弱性の基礎と対処を実装目線で押さえる、という流れが取り組みやすいでしょう。
その段階的な理解を支える3冊を紹介します。】

levtech.jp/media/articl...

【スゴ本】知らないと現場が燃え尽きる。システム障害対応で本当に優先すべき5つのこと | レバテックラボ（レバテックLAB） 「システム障害」でネット検索しても、ありきたりなことしか出てこない。問題はそこではない。部分的にしか見えない流動的な状況において、錯綜する情報を元に、何を優先しどう対応していけば良いか、分からないことにある。『システム障害対応の教科書』は、まさにそんな状況での基本的な動作と現場のマネジメントをまとめたものだ。この記事では、本書をベースに、私の経験を交えた5つの勘所を解説する。

【スゴ本】知らないと現場が燃え尽きる。システム障害対応で本当に優先すべき5つのこと

(以下、引用）
「システム障害」でネット検索すると、するべきことが書いてある。

・影響範囲を調査する
・原因を突き止める
・復旧対策を実施する
そんなことは知っとるわ！

調べても、ありきたりなことしか出てこない。問題はそこではない。部分的にしか見えない流動的な状況において、錯綜する情報を元に、何を優先しどう対応していけば良いか、分からないことにある。

levtech.jp/media/articl...

人生3回目のCSVエディタ開発をしている理由。SmoothCSV作者がビルド不能から再起するまで【フォーカス】 レバテックラボ（レバテックLAB） 3度のフルスクラッチ。完全に異なる技術スタックにしてまで、なぜCSVエディタ「SmoothCSV」をつくり続けるのか？

フルスクラッチでCSVエディタを作ること3回
過去に開発の手が止まったこともあるなか、
今回とっている、限られた時間の中でコミットをし続けるための戦略とは

人生3回目のCSVエディタ開発をしている理由。SmoothCSV作者がビルド不能から再起するまで【フォーカス】
levtech.jp/media/articl...

世界屈指の「ランサムウェアに金を払わない国」なはずの日本にサイバー攻撃が増えている理由【上原哲太郎＆増田幸美】 レバテックラボ（レバテックLAB） 日本企業はランサムウェアに対し、世界的に見て「身代金」を支払わない国である――。ではなぜ日本への攻撃が増えているのか？

世界屈指の「ランサムウェアに金を払わない国」なはずの日本にサイバー攻撃が増えている理由【上原哲太郎＆増田幸美】

脅迫に屈さない国のはずが
中小企業狙いも増加。
背景は急ごしらえのDX、AIによる日本語の壁の突破、地政学的リスク

ではどう対策したらいいのか。セキュリティの専門家に取材
levtech.jp/media/articl...

“太陽光だけ”から「量子もつれ」生成。光子ペアにて世界初成功と報告　レーザー必須の常識覆す量子技術 levtech.jp/media/articl... 不可欠とされたレーザーを用いず、自然の太陽光のみから量子もつれ光子ペアの生成に世界初成功。ベルの不等式テストなどで量子もつれであることを証明

「何の役に立つの？」と図形問題を避ける次女。学習モチベを上げた「算数のスキルツリー」整理 | レバテックラボ（レバテックLAB） 皆さん、「新しい分野のスキルを身につける」って得意な方でしょうか？ひと昔前なら、「とにかくまず実務、経験！」というような意見が支配的でしたし、私自身そういった力技でスキルを身につけてきた側面はあるのですが、最近では「ただ学習をするだけではなく、きちんと意味や他の分野との関連づけを理解しながら学習する」いわば「納得感」が大事、という認識も、ある程度広がってきているように思います。

「何の役に立つの？」と図形問題を避ける次女。学習モチベを上げた「算数のスキルツリー」整理

「次女の算数嫌いはそこそこ深刻」・・・
特に、図形問題をやる意義が納得できず学習自体に身が入らないとの問題に、しんざきさんはどうアプローチしたのか

levtech.jp/media/articl...

Kubernetesの「内部構造」を理解し、クラスタ運用で差をつける6冊。自宅ラボでも実務でも | レバテックラボ（レバテックLAB） 近年では、生成 AI の学習・推論のために GPU を搭載したオンプレミスのマシンでクラスタを構成するケースや、組織固有の要件に合わせて Kubernetes 自体を拡張し、開発者が利用しやすい社内基盤として提供する取り組みが増えています。今回は、業務でクラスタを運用されている方から、自宅クラスタで技術の探求を楽しみたい方まで、Kubernetes の内部構造を解き明かすための6冊を紹介します。

「#Kubernetes でアプリケーションをデプロイできる」から「クラスタを構築・提供できる」へ。

ブラックボックス化しやすい内部構造への理解を深め、クラスタ運用で差をつけるための技術書を和書・洋書問わず紹介📚

Kubernetes Meetup Tokyo 共同主催者、すぱぶら こと須田一輝さん厳選の6冊はこちらから⏬

levtech.jp/media/articl...

国産組込みOS「ITRON」が40年生き残ってきた理由を、生みの親と振り返る【TRON】

約40年、なぜこれほど長くITRONは根付き続けてきたのか？

そして市場での普及には至らなかったビジネス・個人PC向け「BTRON」との明暗を分けたものは何だったのか――

levtech.jp/media/articl...

インデックスを張るだけでは足りない。数億件の名刺データを扱うSansanのSQLパフォーマンス改善 | レバテックラボ（レバテックLAB） ソフトウェアエンジニアにとって、SQLは身近な存在です。しかし、同時に「真に使いこなす」ことが難しい技術の一つでもあります。今回は、ビジネスデータベース「Sansan」の開発に10年以上携わり、数々の技術的難局を乗り越えてきた清水裕紀さんに、現場で培われたSQLパフォーマンス改善の実践知についてお話を伺いました。

膨大なデータ量ゆえに、高度なSQLの知見が試される「Sansan」の開発現場。

今回は、同プロダクトに10年以上携わる清水裕紀さんに、3つのパフォーマンス改善事例を取材しました。⏬
levtech.jp/media/articl...

Remix v3をサンプルコードで体験する。React非依存で“明示的に”UI制御できるコア機能3つ | レバテックラボ（レバテックLAB） https://levtech.jp/media/article/column/detail_801今回は、実際にコードを書きながらRemix v3の特徴を体験します。概念として理解することと、手を動かして体感することは異なります。本稿では、配布サンプルコードを用いて、手動リアクティビティ、型安全ルーティング、合成イベントシステムの3つの機能を実践的に学んでいきましょう。

実際に手を動かし、Remix v3の特徴を"体感"する――

サンプルコードを用いて、3つの機能
「手動リアクティビティ」「型安全ルーティング」「合成イベントシステム」
を実践的に学べます⏬

levtech.jp/media/articl...

球を分解→元と同サイズの球を2個作れてしまう「バナッハ=タルスキーのパラドックス」、p進数の世界でも成立と発表 levtech.jp/media/articl... ボール1つをバラバラに切り刻み動かして元の大きさと同じボール2つにパズルみたいに組み立てられるパラドックスが完備離散付値体(p進数等)でも成功した研究

自動テストツールの決定解は、テスト設計の自動化――Autifyが考える、仕様書なき現場の救い方 レバテックラボ（レバテックLAB） 「自動テストツールの“決定解”は、まだ誰も出せていない」――オーティファイ株式会社 武藤大樹さんは語る。ツールだけでは解決できない設計工程をAIはどう変えるのか。仕様書なき現場を救い、開発を加速させる「新たな自動テストのあり方」に迫ります。

「自動テストツールの“決定解”は、まだ誰も出せていない」

オーティファイ株式会社のシニアソフトウェアエンジニア、武藤大樹さんにインタビュー。

コーディングや画面操作のAI効率化が進むいま、それでも残る「未踏のボトルネック」とは何か。自動テストツールが進化の先に見据える、“仕様書なき現場の救い方”を伺いました。

levtech.jp/media/articl...

史上最強の“重力波”、一般相対性理論の「ブラックホール脱毛定理」をかつてない精度で実証 levtech.jp/media/articl... 巨大ブラックホール2つが合体で生じた過去一鮮明重力波GW250114の音色(振動)分析→ブラックホールは質量と回転のみで記述されるアインシュタインのノーヘア定理が高精度で正しかった

コマンド暗記で太刀打ちできない問題に。Kubernetesを「現場で使いこなす」ための厳選4冊 | レバテックラボ（レバテックLAB） はじめまして、須田一輝（@superbrothers）です。私は Kubernetes Meetup Tokyo の主催者の1人として活動しており、Kubernetes v1.0 のリリース以前から、10年以上にわたり利用してきました。本記事では、Kubernetes をより深く理解し、現場で活躍するための書籍を紹介します。

Kubernetes Meetup Tokyo 主催者の一人、 すぱぶらさんがおすすめする、
Kubernetesを「現場で使いこなす」ための4冊📚

CKAやCKADなどの資格を取得し、基礎身に付けた人が、実運用で求められる「設計・運用の勘所」をつかむためのガイドです⏬
levtech.jp/media/articl...

カセットテープ・エンジニア人生45年。「彼でないと動かせない生産設備」と共に2回移籍して【フォーカス】 レバテックラボ（レバテックLAB） そのカセットテープ製造技術者はなぜ、廃棄されるはずだった生産設備“ごと”、2回移籍するキャリアを歩んだのか。

「設備を動かせる人間がいないから彼ごと譲り受けたい」

旧・日本ビクターに始まり、2度の工場の閉鎖。
それでも彼だけはカセットテープを作り続けた

機械と故郷を離れ、機械と帰郷するまでの縁に満ちた半生

カセットテープ・エンジニア人生45年。「彼でないと動かせない生産設備」と共に2回移籍して
levtech.jp/media/articl...

Next.js on Vercelを使うとなぜ速い？ 低レイヤ、配信技術、Web高速化の観点から理解できる3冊
levtech.jp/media/articl...

Webパフォーマンス最適化の根本的な理解につながる書籍を紹介📚

どの順番でどこに着目して読み進めるのがよいか

『実践Next.js』著者の吉井健文さんが解説🖊

『Ozawa-Ken』『釣りスタ』を手がけたヒットメーカーが“タイピングゲーム”に戻ってくるまで【フォーカス】 レバテックラボ（レバテックLAB） 釣り★スタ、探検ドリランドのヒットメーカー。Ozawa-Ken作者はなぜソーシャルゲームを離れ、再び「タイピング」という原点に回帰したのか？

個人では伝説のタイピングゲームを
ソシャゲ黎明期には釣りスタやドリランドを。

その開発者はなぜ一度業界を離れ、またタイピングゲーを作ったのか

「安らぎが欲しかった」

『Ozawa-Ken』『釣りスタ』を手がけたヒットメーカーが“タイピングゲーム”に戻ってくるまで
levtech.jp/media/articl...

「後任者が本当に一人で業務をこなせる」まで引き継ぎきる方法。フレームワーク活用も【パウリ】 | レバテックラボ（レバテックLAB） 業務の引継ぎ期間中、前任者である私たちはつい「先生」になってしまいがちです。しかし、目指すべきは「先生と生徒」の関係ではなく、後任者が一人で判断し、行動できる状態（自走）です。そのためには、フェーズに応じて「教える」から「支援する」へと、関わり方を変化させていく必要があります。今回は、コミュニケーションの場づくりと、後任者の心理的ハードルを取り除く対話のアプローチをご紹介します。

業務の引継ぎは、タスクを振って終わりではありません。

日次のふりかえりから四半期・半期で行う目標の進捗確認まで、後任者が「自ら判断して一人で動ける」ようになるためのサポート方法をビットキー社・パウリ氏が解説⏬

levtech.jp/media/articl...

#HSP3 関連のインタビュー記事が公開されました。最新のバージョン3.7に至る経緯や今後について幅広く触れられています!

だって最高のホビーだから。プログラミング言語「HSP3」を30年開発している理由【フォーカス】 レバテックラボ（レバテックLAB） なぜAI全盛の今も、Windows 95時代から続く「型安全ではない」国産言語・HSP3が愛され続けているのか？

プロのゲーム開発者が、何故あえて
その“型安全ではない言語”を作り続けてきたのか？
なぜ愛され続けるのか？

そして、AI時代にコードを書く意義とは

だって最高のホビーだから。プログラミング言語「HSP3」を30年開発している理由【フォーカス】
levtech.jp/media/articl...

@onionsoft.net

「オクターブ＝2倍」の常識を覆す　“完全五度”と“自由な転調”を両立した新しい音律システム levtech.jp/media/articl... オクターブの周波数比を従来の2倍から約1.9726倍に変更し倍音構造も非整数倍に再設計→完全五度と転調の自由を両立でき純正律に似た滑らかな響きが得られる。電子楽器だからできた

「国産ヒューマノイドは巻き返せる。だが、いまが最後のチャンス」。日本のロボット開発の厳しい現実と、起死回生の道筋 かつて世界を席巻した日本の人型ロボット。なぜいま、その存在感を失ってしまったのか。国内サプライチェーンの構築と、「純国産ヒューマノイド」の実現に挑むKyoHA。現在の開発競争に追いつき、「ヒューマノイドをつくれる国」を取り戻すビジョンを聞いた。

「日本のヒューマノイドは巻き返せる。だが、いまが最後のチャンス」

かつてのロボット大国・日本。なぜ最前線から姿を消したのか？

国産ヒューマノイド実現に取り組む「KyoHA」に、起死回生の道筋を聞きました。
levtech.jp/media/articl...