物理次元型を持つ静的型付け言語「Numbat」の紹介
単位ミスが招く重大事故 「マーズ・クライメイト・オービター」をご存知でしょうか。火星の気象調査をミッションとして、NASAが1998年に打ち上げた探査機です。1億2500万ドルを費やして作られた...
219
106
Comment5
10 search resultsShowing 1~10 results
Stocked
You need to log-in
Kubuntu + 古めのGeForce環境でスリープ復帰ができない問題の解決方法
再現環境 Kubuntu 26.04 GPU: Nvidia GTX 750 Ti NVIDIAドライバ: 580.173.02 カーネル: 7.0.0-30-generic 症状 (1) Ku...
0
0
Comment0
PHPを使わずにPHPを使ったwebサーバーを立てる
はじめに 2026年10月はphp2shellが話題となり、「PHPに脆弱性！」という文言がお茶の間にも流れる衝撃的な月間となりました。 某SNSでは「言語に脆弱性ってどういうことなんだ」とか「...
3
2
Comment0
Rustの「impl Trait for Type」の語順について
概要 Rustのトレイト実装の記法impl トレイト名 for 型名が（個人的には少し風変りな文法に見えたので）なぜそのような形をしているのか、文法実装者本人の記述等から考察を行った記事。 Ru...
9
2
Comment0
ThinkPadトラックポイントキーボードのFn/Ctrlキー入れ替え方法
概要 ThinkPadトラックポイントキーボード（KU-1255 / 日本語版: 0B47208）はトラックポイントが使える貴重な有線USBキーボードとして人気の機種である。Thinkpadの伝...
9
2
Comment0
ダイオードなしキーボードで可能な「3キー同時押し」を最大化する
TL;DR こちらの記事の追加情報。ダイオードなしキーボードでは「キーマトリクス上の長方形の頂点のうち3点を押す組み合わせ」は一律で禁止されがちである。これは「ゴーストキー」の発生を防ぐためであ...
1
2
Comment0
Rustの「if let」とは何なのか？
Rust入門者とif letとの出会い if let文は公式チュートリアルでは、パターンマッチングの章で初登場します。入門者はmatchによるパターンマッチングを学んだ後で、「値が一つのパターン...
121
37
Comment0
Rustのトレイト導入時の経緯を紐解く
概要 2011～2013くらい（Rust ver 0.1 - 1.0くらい）の黎明期Rustにおける「トレイト」システムの導入経緯を、当時のMozillaのメーリングリスト等のweb上に残存する...
3
0
Comment1
Rustのライフタイム注釈は「いつ」「なぜ」必要なのか
Rust入門者とライフタイム注釈との出会い 多くのRust入門書で、ライフタイム注釈の説明が出てくるのはかなり後半です。なので、Rust入門者とライフタイム注釈との出会いは往々にして実際にコード...
43
21
Comment2
Rustの「ジェネリックなデータ型」を再履修（ブログ邦訳）
概要 以下のdev.to記事の日本語訳です。 https://dev.to/talzvon/rust-generic-types-in-method-definitions-4iah 内容自体は...
17
7
Comment0
10 search resultsShowing 1~10 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles