octox は、Rust で 一からすべて(ビルドシステムも含め)実装された Unix ライクなオペレーティングシステムです。 xv6-riscv に触発された学習用 OS として実装を始めたものです(元々は Linux のような OS の勉強として始めました)。 この投稿では、octox の実装を通して経験したことから自身の Unix-like OS の実装において Rust の機能がどのように活用されているかについて触れてみたいと思います。 本記事は英語で公開していた以下の記事の日本語訳版です。 Writing a Unix-like OS in Rust 上記の記事を投稿後、いくつかのニュースサイトでも特集され記事になっていました: This Month in Rust OSDev: March 2024 Hacker News: Octox: Unix-like OS in Rus

JR東日本は4月8日、上越新幹線で「ウォークスルー改札」の実証実験を開始すると発表した。2025年秋ごろに新潟駅と長岡駅に各1台「顔認証」の改札機を導入し、2026年春ごろまで評価する。 実証実験には、JR東日本に加え、JR東日本メカトロニクス、パナソニック コネクト、NECの4社が参加する。 パナソニック コネクト製とNEC製のそれぞれ異なる仕様の顔認証改札機を設置し、システムの実用性や認証精度、通過時のUXを評価する。 長岡駅に設置される顔認証改札機は、パナソニック コネクト製だ。顔認証精度に秀でており、特に顔の向きやマスク、メガネといった外的要因に強いことが特徴だ。また、画像鮮明化とディープラーニングを融合させた技術により、通過者が違和感なく、自然な動作のまま認証されるよう設計したという。

みんなパスキーに期待しすぎている。MIXI伊東氏に聞く「認証のゴール地点」の考え方 2025年3月13日 株式会社MIXI 開発本部／OIDF-J エバンジェリスト 伊東 諒（@ritou） 2011年ミクシィ（現：MIXI）入社。MIXI Mという基盤システム&WALLETサービス、MIXI IDというMIXI社内のサービス間で利用できる共通アカウントの開発を担当している猫。OpenID ConnectやOAuth 2.0、パスキーといった標準化仕様について社内外での情報発信にも積極的に取り組んでいる。 X(@ritou) パスワードレス認証の代名詞として普及が進むパスキー。2022年の登場から数年、世間的な認知度も向上し、オンラインサービスのユーザー認証の仕様を検討するうえでは避けて通れない存在となりつつあります。 株式会社MIXIの伊東 諒さんは、日本でパスキーの推進を積極的に行う一

先週のメイカーズ長岡まつりの写真を整理していたら、高須さんの講演を撮ったものがいっぱい出てきた。 普段、あまり講演の写真を撮らないのだが、高須さんの講演は素晴らしすぎたので写真に撮りたい場面がいくつもあった。 とりあえず写真で振り返ってみる 高須さんは世界中の「メイカーフェア」を回っている。公式のものも、そうでないものも、「メイカー」っぽいものは全部回っているという非常に珍しい人だ。その高須さんの目から見て、日本はかなり特殊な状況にあるようだ 日本のメイカーの国際進出は世界一僕も、ローマとベイエリアのメイカーフェア(Maker Faire)には行ったことがあるが、どちらも「仕事」っぽい感じの展示会だった。 学校や企業が、「こんな取り組みをしてます」と紹介するのと同時に、副音声で「だから買ってください/学生として入学してください」という本音が聞こえてきてしまう。これはこれで、ビジネスマッチン

フラッシュメモリIP（Intellectual Property）を手掛けるフローディアが、SONOS構造のフラッシュメモリを用いて超低消費電力でAI演算を行うCiM（Computing in Memory）技術を開発中だ。 フローディアは、ルネサス エレクトロニクスでフラッシュメモリの開発を20年以上手掛けていた7人のエンジニアにより、2011年4月に設立された。BCDプロセスを適用したSONOS構造のフラッシュメモリ（SONOSメモリ）技術を、IPとして半導体メーカーやファウンドリーに提供している。 SONOSメモリは、窒化シリコン（SiN）膜に電子をトラップする（チャージトラップ方式）ことでメモリ機能を実現する。フローティングゲート方式を用いた一般的な組み込みフラッシュメモリでは、ゲート酸化膜が高温に弱く電荷が大量に漏れてしまうのに対し、SONOSメモリは電荷が結晶の微細な構造に閉じ

Dockerfileは、アプリケーション構成を保守可能な形で記録できる強力なツールです しかし、その真価を十分に発揮するためには、Dockerfileを書く人の理解がかかせません。 本スライドは、Dockerfileを利用してアプリケーションをデプロイするアプリケーション開発者を対象に、優れたD…

はじめに こんにちは、エンジニアの奥田です。 私は新しいものが大好きです。新しいものは既存の問題を解決してくれたり、新しい視点を与えてくれたりするからですね。 新しい技術や商品、アプリ……どれも最高です！「早く知って遊びたい！」という気持ちがあります。 ただ、知らないことには遊べないので、私は情報収集に力を入れています。 この記事では、その一例として、私が普段どのように情報を集めているのか、ご紹介しようと思います。 日々の情報収集について ソフトウェアエンジニアは、フロントエンド、バックエンド、インフラ、データ分析、セキュリティ、モバイル開発、クラウドネイティブ、DevOpsなど、非常に幅広い領域を横断します。 すべてを追うことはできませんが、おもしろいサービスや技術などは頻繁に登場します。 新しい技術やサービスの概要や名前を知っておくだけでも、いざというときの問題解決に役立ったり、他のエ

トヨタでは、産業用ロボットの技術を応用し、『人の活動を支え、人と共生する』をコンセプトに、主に身体の不自由な方や高齢の方を支援する「パートナーロボット」の研究に取り組んできました。 モビリティカンパニーへの変革を目指す中、今後私たちの研究の対象を、ロボットをコントロールするプラットフォーム技術、あるいは街のインフラ技術に拡大していきます。 研究対象が拡がっても、わたしたちの先人たちが大切にしてきた「自働化」、すなわち機械がひとの力や知性を置き換えるものでなく、常に人間を中心で考えるという概念は大切にし続けていきます。ひと中心のシステム作りを通じお客様のWell-beingな人生を支援していきたいと願っています。 未来創生センターについて、詳しくはこちら

私の目標は、読者が午前中に本書を読み始めたら、午後には設計が上達していることだ。 本当にそのとおりだった。読んでる途中で既に自分の設計に対する考えが良い方向に変わってると感じた。とても良かった。おすすめです。 『Tidy First?』 をいただいて読んだ。昨日（2024年12月25日）発売。英語版が2023年11月28日発売だから、たった1年で日本語版が出たということだな。うれしい！はやい！ありがたい！ ソフトウェア設計に焦点を当てたシリーズの最初の1冊ということで、サブタイトルに「個人で実践する経験主義的ソフトウェア設計」とあるように、1人でできる種類のソフトウェア設計について書かれている。続刊ではチームについての話になる予定のようで、それも今から楽しみ。 2周読んだ なんとなく2周読もうと思ってそうした。 1周目は細かい部分は気にせずにざーっと1,2時間くらいで読んだ。全体的にどうい

先月から今月にかけて、ソブリンクラウドに関するプレスリリースが相次いだ。一つはNTTデータがソブリンクラウド市場へ参入するというニュース、もう一つがNRIがソブリンクラウドのサービスを拡充するというニュースである。 これによって、現在日本でソブリンクラウドと銘打ってサービスを提供しているベンダは、NRI、富士通、NTTデータの三社となった。三社ともOracle Alloyをかついでいる。日立とNECはソブリンクラウドについてのウェブサイトは作っているが、まだ参入はしておらず様子見のようである。 Oracle Alloyのサービスモデルさて、このように最近何かと耳にする機会の増えたソブリンクラウドであるが、その実体が何で、これがあると何が嬉しいのかというのはあまり理解されていない。それもそのはずで、このコンセプトが切実に意味を持つのは欧州においてであって、日本の置かれている環境においてはいま

はじめに 先般 MN-Ccore Challenge なるものが開催され、私もスキマ時間に気分転換的にちょこちょこ挑戦していたのですが(本業関係者への言い訳)、とても面白いアーキテクチャだなと思いました(順位はまあその力及ばず微妙な感じでしたが)。 普段 FPGAプログラミングが多い私ですが、いろいろ新しい観点で脳に刺激を頂きました。 今更私なんかが考察する余地もない気はしますが、折角なのでプログラミングではなく、プロセッサアーキの方を少しだけ感想程度に記録しておければと思います。 いろいろ資料も公式に公開されていますし、コンテストも終わったようなので(実は終了日を勘違いしていました)、安心してあれこれと自分用の勉強の教材にして楽しませて頂きたいなと思います。 なお、ほんとに素人考察なので、あんまりマサカリは投げないでおいてあげてください(言い訳)。 どんな構成なのか 最初に「ソフトウェア

Steven J. Vaughan-Nichols （Special to ZDNET.com） 翻訳校正： 川村インターナショナル 2024-09-25 07:00 ウィーン発--20年の開発期間を経て、「リアルタイムLinux」（「PREEMPT_RT」）がついに、ようやくメインラインカーネルに統合された。Linus Torvalds氏は「Open Source Summit Europe」に参加した際に、PREEMPT_RTを賞賛した。なぜこれが重要なのだろうか。まずは、「リアルタイムOS」（RTOS）とは何か、どのような利点があるのかを説明しよう。 RTOSとは RTOSは、処理速度が重視されるタスクを正確かつ確実に処理できるように設計された特殊なOSだ。「Windows」や「macOS」などの汎用OSと異なり、多くの場合、ミリ秒単位やマイクロ秒単位で測定される厳しい時間制約の中で

Cloudflare、すべての生成AIによるクローラーをワンクリックでブロックする機能を無料で提供開始 Cloudflareは、すべての生成AIによるクローラーをワンクリックでブロックする機能を無料で提供すると発表しました。 生成AIは人間が作成したテキストや画像、動画などを大量に読み込んで学習を行う必要があります。生成AIを開発している組織は、より多くの学習データを取得しようとしており、そのためにインターネット上の多数のWebサイトをクロールするBotを稼働させているのです。 しかしWebサイトの運営元として自分たちのコンテンツがこうした生成AIの学習に使われることを望まないところもあるでしょう。 Cloudflareの新機能はこうしたWebサイトが簡単に生成AIのBotによるクローラーをブロックしてくれる機能を提供してくれます。 下記がCloudflareのダッシュボード画面で、すでに

NTT基礎数学研究センタでは、数学の基礎研究をとおして科学技術の源泉である「知の泉」をより豊かにしたいと考えています。本稿ではまず、NTT基礎数学研究センタでの研究の全体像を俯瞰します。さらに、センタの中心的な研究領域である「数論、特に数論力学系」「代数幾何・数論幾何」「表現論・保型形式」について紹介します。 およそ2500年前のギリシャで、素数の研究がなされたことは驚きです。素数が無限に存在することや自然数が素数の積に一意に分解できることが示されていました。どんな動機があったのかは不明です。しかも1977年のリベスト、シャミア、エーデルマンによるRSA暗号方式の発明まで、その工学や社会での応用は期待さえありませんでした。加えてRSAの鍵となる「 を素数、 を整数とすれば が成り立つ」というフェルマーの小定理（1）の発見（証明はライプニッツ）後も、その確立に300年余を要しました。 数論（

天然資源に依存していたニホンウナギの稚魚を人工的に大量生産する技術を、水産庁の研究機関が4日発表した。人工稚魚の生産コストは2016年度時点で1匹4万円以上していたのに対し、生産効率を高めて1800円まで下げた。今後、都道府県や民間企業へ技術を普及し、量産化を目指す。水産庁の研究機関、水産研究・教育機構（横浜市）を中心とする研究グループが大量生産システムを構築した。成熟させた母ウナギから毎週2

創＠自作楽器 @kajiisou 1.塩ビとリコーダーで構成します。テナーは大きくなりすぎるので、アルトとソプラノで作ることにしました 2.塩ビカッターでじょきじょき切りながら仮組み 3.クロマチックで作ろうとすると、感覚的には4段作るイメージになります。 細かい設計図とかは無く、現物合わせ 4.裏から見るとこんな感じ pic.twitter.com/7IZ0ztnzH1 2024-06-15 11:52:09 創＠自作楽器 @kajiisou 5.バネが硬すぎるので交換。杉浦発条さんのバネを使わせていただいています 6.塩ビの中を空気が通り、レバーとチューブを通して笛に空気を送ります 7.リコーダーを載せる部分を作ります。塩ビ3本で支えを作って 8.板を載せます。軽量化のため、桐で pic.twitter.com/cR2oYRfFri 2024-06-15 11:58:14