国産組込みOS「ITRON」が40年生き残ってきた理由を、生みの親と振り返る【TRON】 レバテックラボ（レバテックLAB）
国産組込みOS「ITRON」が40年生き残ってきた理由を、生みの親と振り返る【TRON】 2026年2月17日 TRONプロジェクトリーダー 坂村 健（さかむら けん） 1951年東京生まれ。東京大学名誉教授、INIAD cHUB（東洋大学情報連携学学術実業連携機構）機構長。IEEEライフ・フェロー、ゴールデンコアメンバー。1984年からオープンなコンピュータアーキテクチャ「TRON」を構築。モバイル端末、家電製品、車のエンジン制御、宇宙機の制御など世界中で多く使われている。 トロンフォーラム公式サイト 現代のあらゆる電子機器の深部で、静かに、しかし確実に脈動し続けるOSがあります。日本から生まれた、オープンアーキテクチャの組込みOS「ITRON」です。 1984年、坂村健氏によって提唱された「TRONプロジェクト」から生まれたこのOSは、今も家電製品や自動車、産業機器、医療機器など、あら
気づけばFirefoxのコア開発者になっていた。「修正されないバグの報告」から始まった25年間【フォーカス】 - レバテックLAB
Mozilla Firefox コア開発者 株式会社Birchill エンジニア 中野 雅之 SIer企業のシステムエンジニアとして1999年にキャリアをスタート。2000年頃よりボランティアでMozillaプロジェクトに参画し、バグ報告を始める。2004年、有限責任中間法人Mozilla Japan（当時）に技術部国際化担当マネージャとして参画。Firefox・Geckoエンジンのフルタイム開発者となる。2019年より現職。 ブラウザ「Mozilla Firefox」を、根幹から支える日本人エンジニアがいます。Web技術開発を手がけるBirchill社のメンバーとして、Mozilla Corporationからの委託を受け、Firefoxのレンダリングエンジン「Gecko」の開発を行っている中野雅之さんです。かつては「Mozilla Japan（現WebDINO Japan）」にて技術部
みんなパスキーに期待しすぎている。MIXI伊東氏に聞く「認証のゴール地点」の考え方 | レバテックラボ（レバテックLAB）
みんなパスキーに期待しすぎている。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の伊東 諒さんは、日本でパスキーの推進を積極的に行う一
「ブレーキを踏んだが止まってくれない」自動運転の日常化で浮かび上がるAIと人間の協調の新課題
ITジャーナリスト 牧野 武文（まきの たけふみ） 生活とテクノロジー、ビジネスの関係を考えるITジャーナリスト、中国テックウォッチャー。著書に「Googleの正体」（マイコミ新書）、「任天堂ノスタルジー・横井軍平とその時代」（角川新書）など。 中国では、自動運転機能を備えた乗用車が市販され、無人運転のロボタクシーが営業運転をするようになっている。その最先端で起きたのが「人間とAIの協調」という問題だ。人間とAIの認識の狭間で、自動運転車が原因となる事故や渋滞が相次いでいる。人間はAIとうまくコミュニケーションをとり、共存をしていくことは可能なのか。AI本格導入で見えてきた課題とは。 keyboard_arrow_down 都市部で普及する自動運転車 keyboard_arrow_down 自動運転の日常化で見えた人間本能とAIの衝突 keyboard_arrow_down 完全無人運転の
Kotlinエバンジェリスト・長澤太郎氏が薦める、Kotlinへの理解を深める3冊 - レバテックLAB
Kotlinエバンジェリスト 長澤 太郎 Ubie株式会社のソフトウェアエンジニア。「テクノロジーで人々を適切な医療に案内する」をミッションに、日々開発に勤しむ。 本業のかたわら、自称Kotlinエバンジェリストとして、講演や執筆などを通じて啓蒙活動に尽力。国内最大のKotlin技術カンファレンス「Kotlin Fest」の代表を務める。 @ngsw_taro 『Kotlinイン・アクション』Dmitry Jemerov 著、Svetlana Isakova 著、長澤 太郎 監修・翻訳、 藤原 聖 監修・翻訳、山本 純平 監修・翻訳、 yy_yank 監修・翻訳 『Kotlinスタートブック』長澤 太郎 著 『Kotlin サーバーサイドプログラミング実践開発』竹端 尚人 著 こんにちは！Kotlin Festのオーガナイザーを務めている長澤太郎と申します。 今回は、普段Kotlinを使っ
GPT-4にWebサイトを“自律的に”ハッキングさせる方法 AI自身が脆弱性を検出、成功率70％以上【研究紹介】 - レバテックLAB
米UIUC（イリノイ大学アーバナ・シャンペーン校）に所属する研究者らが発表した論文「LLM Agents can Autonomously Hack Websites」は、大規模言語モデル（LLM）を用いたAIエージェントに、自律的にWebサイトをハッキングさせる攻撃手法を提案した研究報告である。LLMエージェントがWebサイトに存在する脆弱性を事前に知らなくても、自動検知してのハッキングが可能となる。 ▲自律型LLMエージェントを使ったWebサイトのハッキングの模式図 Webサイトを自律的にハッキングするようLLMエージェントを活用するには、エージェントのセットアップと、目標に向けてのプロンプトによる指示という2つのステップが必要である。エージェントによるハッキングでは、関数呼び出し、文書読み込み、計画立案の3つの主要機能を用いる。 設定の流れとして、具体的にはまずヘッドレスWebブラウ
AIが自分自身に報酬を与えて進化する「自己報酬型言語モデル」 米Metaなどが開発、実験でGPT-4を上回る【研究紹介】
TOPコラム海外最新IT事情AIが自分自身に報酬を与えて進化する「自己報酬型言語モデル」 米Metaなどが開発、実験でGPT-4を上回る【研究紹介】 AIが自分自身に報酬を与えて進化する「自己報酬型言語モデル」 米Metaなどが開発、実験でGPT-4を上回る【研究紹介】 2024年1月23日 米Metaと米ニューヨーク大学に所属する研究者らが発表した論文「Self-Rewarding Language Models」は、大規模言語モデル（LLM）が自分自身に報酬を与えることで繰り返し学習する「自己報酬型言語モデル」を提案した研究報告である。このモデルは、自身が生成した問題に対する応答に報酬を割り当て、その結果をトレーニングデータとして使用。自己を反復して訓練することで、精度を向上させられる。 keyboard_arrow_down 研究背景 keyboard_arrow_down 研究内容
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
