オープンソースカンファレンス2024 Kyoto
カンファレンスに参加される方は参加登録をお願いいたします。 参加登録ページ（connpass） セミナー タイムテーブル 公開資料（一部）※随時更新 展示 展示ブース一覧 ブース配置図（展示会場MAP） 同時開催 OSS鳥瞰図ハッカソン@OSC京都2024 ※参加される方は上記サイトよりお申込みください 交流会 イベント終了後に会場内で軽く交流会を行います。 参加される方は事前に申込みをお願いします。 詳細・申込（connpass） 開催概要 日程: 2024年7月27日(土) 10:00～18:00（展示は16:00まで） 会場: 京都リサーチパーク 4号館 地下1F・2F（OSC受付：地下1F バズホール前） 費用: 無料 内容: オープンソースに関する最新情報の提供 ・セミナー - オープンソースの最新情報を提供 ・展示 - オープンソースコミュニティ、企業・団体による展示 主催:
なぜ正規表現の行頭と行末を表す記号として「^」と「$」が採用されたのか？
なぜ正規表現では「^」と「$」という記号を行の先頭・末尾を示す記号として採用したのかという歴史について、ソフトウェアエンジニアのヒレル・ウェイン氏がブログに投稿しました。 Why do regexes use `$` and `^` as line anchors? • Buttondown https://buttondown.email/hillelwayne/archive/why-do-regexes-use-and-as-line-anchors/ 正規表現は「文字列の集合を一つの文字列で表現する方法の一つ」で、例えば「/^G.*/」という一つの文字列を使用して「Gから始まる文字列全て」のようにたくさんの文字列の集合を表現できます。そうした正規表現で使用される文字のうち、「^」は行頭に一致し、「$」は行末に一致する文字となっています。 これら2つの文字はQEDテキストエディタのケ
“組み込みUNIX”を目指した「ChorusOS」は企業買収の波に飲まれて消えた
“組み込みUNIX”を目指した「ChorusOS」は企業買収の波に飲まれて消えた：リアルタイムOS列伝（39）（1/3 ページ） IoT（モノのインターネット）市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS（RTOS）について解説する本連載。第39回は、“組み込みUNIX”を目指したものの企業買収の波に消えた「ChorusOS」を取り上げる。 「ChorusOS」は、企業買収の中でいつの間にか消えてしまったリアルタイムOS（RTOS）である。一応分類的にはRTOS、というか実際リアルタイム制御を目指して開発されたOSだから間違いなくRTOSではあるのだが、そのターゲットはMCUというよりもMPUである。ぶっちゃければ“組み込みUNIX”とでもいうべきか。 ⇒連載記事「リアルタイムOS列伝」バックナンバー OSIの参照モデルを考案したZimme
MacやLinuxで使う「ncurses」に重要な脆弱性、Microsoftが報告
Microsoftは9月14日(米国時間)、「Uncursing the ncurses: Memory corruption vulnerabilities found in library｜Microsoft Security Blog」において、テキストユーザインタフェース(TUI: Text User Interface)をサポートする「ncurses」と呼ばれるライブラリにメモリ破損の脆弱性を発見したと伝えた。この脆弱性は2023年4月8日(米国時間)までに修正されている。 Uncursing the ncurses: Memory corruption vulnerabilities found in library｜Microsoft Security Blog ncursesは1993年にリリースされた歴史のあるソフトウェアで、現在でもLinux、macOS、FreeBSD
型理論 - Wikipedia
型理論（かたりろん、英: Type theory）とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムのことを型理論と呼ぶこともある。集合論の代替となる数学の基礎として役立てられる型理論（型システム）も存在する。そのような例としてアロンゾ・チャーチの型付きラムダ計算やマルティン・レーフの直観主義型理論が有名である。 20世紀初頭にバートランド・ラッセルが発見した、ラッセルのパラドックスによるフレーゲの素朴集合論の欠陥を説明する中で提起されたtheories of typeが型理論の起源であり[1]、後年にAxiom of reducibilityが付随された型理論は、ホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』に収録されている[2]。 単純階型理論（Simple Theory of Typ
今やBlackBerryの主力事業に、下克上を果たしたRTOS「QNX Neutrino」
「QNX Neutrino」も結構長い歴史を持つリアルタイムOS（RTOS）である。もっとも、長い歴史を持つということは、いろいろな会社の事情に振り回されてきたということとニアリーイコールでもある。 ⇒連載記事「リアルタイムOS列伝」バックナンバー カナダの“カナタ”で創業 QNX Neutrinoは1980年、カナダのウォータールー大学の学生だったGordon Bell氏とDan Dodge氏により開発された。ちなみにBell氏は、DECでPDPやVAXの開発にも関わり、ACMのゴードンベル賞（HPCの分野で画期的な成果に対して贈られる賞。別名スパコン界のノーベル賞）の名前の由来となったGordon Bell氏とは同姓同名の別人である。 Bell氏とDodge氏は計算機学科でRTOSについて学んでおり、自分たちでもマイクロカーネルベースのRTOSを作ってみた。この試しに作ったRTOSの完
ChatGPTなどの大規模言語モデルはどんな理論で成立したのか？重要論文24個まとめ
2022年11月にChatGPTが公開され、たった1週間で100万ユーザーを超えたのをきっかけに、GoogleのBardやMicrosoftのBing AI Chatなど、大規模言語モデルを利用したチャットAIが続々とリリースされています。チャットAIを研究しているセバスティアン・ラシュカさんが、チャットAIが実用化されるまでの研究の軌跡を重要な論文24個に絞って要約しています。 Understanding Large Language Models - by Sebastian Raschka https://magazine.sebastianraschka.com/p/understanding-large-language-models ◆目次 ・主要なアーキテクチャとタスク ・スケーリングと効率性の向上 ・言語モデルを意図した方向へ誘導する ・人間のフィードバックによる強化学習(
大炎上中の書籍『ゲームの歴史』が絶版・回収へ…著者の “逆ギレ＆逃走” に批判集まる（SmartFLASH） - Yahoo!ニュース
昨年11月に講談社から出版された『ゲームの歴史』が大炎上中だ。同書は、コンピューターゲームの誕生から現在に至るまでの歴史を、3巻にわたり解説するもの。 著者は、大ベストセラー作品『もし高校野球の女子マネージャーがドラッカーの「マネジメント」を読んだら』を執筆したことで知られる小説家の岩崎夏海氏と、『映画を早送りで観る人たち ファスト映画・ネタバレーーコンテンツ消費の現在形』などの著作があるライターでコラムニストの稲田豊史氏だ。 大炎上の原因は、同書におびただしい数の誤りがあるためだ。発売直後から、識者による “突っ込み” が多々あった。 「ゲームフリーク元社員のとみさわ昭仁氏や、任天堂ゲーム機専門誌『ニンテンドードリーム』の元編集長である岩井浩之氏、PCエンジン、ゲームボーイなどの開発に携わった岩崎啓眞氏など、数々の “生き証人” らが、誤りを指摘しています。 純粋な事実誤認から、いわゆる
世の中には2種類のシステムがある - orangeitems’s diary
世間から見たら、同じコンピューターシステムでくくられてしまうんだろう。しかしインフラエンジニアから見たら、厳然と違う2種類のシステムがある。 １）不特定多数のユーザーをリアルタイムにさばくシステム ２）限られたユーザーをリアルタイムにさばくシステム この他にも、定期バッチ、監視、バックアップなどシステムのために存在するシステムもあるがこれは世間から見えていないので除外する。 本当にこの2つである。 私は前者に数年携わった経験があるが、これがしんどい。不特定多数が読めないと準備しようになく、昨今のクラウドの登場で物量作戦を取ることが可能になったが、かなり精神力も技術力も必要な分野だ。 先進的な技術発表をする技術系企業はだいたいこの（１）のパターンだ。おお、この著名なサービスはこういうアーキテクチャーになっているのかぁ、と技術者として感心する。 巨大なサービス要求を安定的にこなす（１）のような
中央集権IDから分散IDに至るまで、歴史は繰り返す
前回の記事で見たように、現在の分散識別子（Decentralized Identifier、DID）の機能の多くを、あるいはDIDを超えるものを20年前に実現していたXRI（eXtensible Resource Identifier）であるが、一般的に使われるのにはあまりにも早すぎた。筆者が知っている実用事例としては、米軍関係のABACシステム*および野村総合研究所における研究開発システムくらいのものであった。 *ABAC（Attribute Based Access Control）：属性ベースアクセス制御。役割ベースアクセス制御 （RBAC）を一般化したもので、米軍が開発した。2020年ごろからAmazon Web Services（AWS）など民生用でも少しずつ採用されるようになってきた。 「自己主権」「自主独立」を体現するOpenIDの思想 一方、XRIと並行して立ち上がったのが
テクノロジーセキュリティの7つのトレンド--ガートナーが指摘するリスクと課題
印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます Gartnerによると、リモートワークとクラウドコンピューティングサービスへの移行が原因で、ビジネスを攻撃から保護することがより困難になっており、熟練のセキュリティスタッフの継続的な不足が状況の悪化に拍車をかけているという。だが、それは同社が予測するセキュリティ環境の変化の一部にすぎない。 「世界中の組織が、高度なランサムウェア、デジタルサプライチェーンに対する攻撃、深く埋め込まれた脆弱性に直面している」とGartnerのリサーチバイスプレジデントであるPeter Firstbrook氏は語る。同社は新しい課題の主な分類として、「高度な脅威への新たな対応」「セキュリティプラクティスの進化」「テクノロジーの再考」の3つを挙げた。 攻撃対象
元・Java専門記者がLog4j 2脆弱性に見た「複雑性と魔神のかけら」 Javaの歴史とバザールの矛盾
元・Java専門記者がLog4j 2脆弱性に見た「複雑性と魔神のかけら」 Javaの歴史とバザールの矛盾（1/6 ページ） Javaのライブラリ「Apache Log4j 2」に深刻な脆弱性が発見されたことは記憶に新しい。1カ月以上経過した現在も、注意喚起や新たな情報提供が続いている。問題は完全に収束したとはいえない。 今回の記事の主題は脆弱性対策ではない。「Javaの歴史的経緯と、今回騒ぎになっている脆弱性の話を、うまく1本の記事にしてください」という編集部のオファーに応じて書いたものだ。記事の半分は「元・Java専門記者のナイショ話」である。現実の情報システムへの対処が必要な方は、まず下記ページから最新情報をチェックしていただきたい。 IPA Apache Log4j の脆弱性対策について(CVE-2021-44228) Apache Log4j 2公式ページ Log4j 2で今回問題
正規表現の"正規"とは何か気になったら正規表現の歴史を紐解くことになってしまった話
正規表現の"正規"って何 ある時ふと思いました。 「正規表現の"正規"って何だろう？」 「何を根拠に"正規"を名乗っているのか？」 と。 「誰かが『これが正規の表現だ』と言ったはず」で、 「それは周りにどうやって"正規"だと認められたのだろう」 ということが気になったので調べてみました。 "正規表現"という名前でなくて、"ジャックさんの表現"とか"記号ごちゃごちゃ表現"だったらこんな疑問も持たなかったのですけど。 数学における"正規"とは 一般に"正規"というと、"正規品"や"正規の手順"といったように"本物の(genuine)"や"公式な(official)"といった意味がありますが、数学の"正規"はちょっと違います。 数学で"正規"(および"正則"、英語では"regular"または"non-singular")は、ある概念に強い制限をかけたもの、という意味です。強い制限をかけたものは取
Windowsを危険なOSにしない仕組み 面倒な“あの作業”こそ最大の武器？
関連キーワード Windows | Mac | サイバー攻撃 サイバー犯罪者に狙われやすい「Windows」と「macOS」。セキュリティの観点から両OSの歴史を振り返った前編（「『Mac』は『Windows』より安全」説はこうして生まれた）に続く本稿は、Windowsのセキュリティアーキテクチャを紹介する。 併せて読みたいお薦め記事 「Windows」と「macOS」の歴史を振り返る 「Windows 10」は昔のOSと何が違う？ Windowsの歴史を振り返る 「Java」が「Windows」でも「macOS」でも動く“歴史的理由”と“技術的理由” macOSも攻撃の“蚊帳の外”ではない 「macOS」のセキュリティ担当者が「Arm」を学ぶべき“当然の理由” iPhoneの脆弱性に1億円、macOSも報告対象に Appleがバグ報奨金を大幅変更 macOSに“パスワードなしでrootに
ビル・ゲイツに怒鳴られ、坂本龍一に理解され【連載】サム古川のインターネットの歴史教科書（3）｜FINDERS
CULTURE | 2021/08/19 ビル・ゲイツに怒鳴られ、坂本龍一に理解され【連載】サム古川のインターネットの歴史教科書（3） 聞き手：米田智彦 構成：友清晢 古川享 1954年東京生まれ。麻布高校卒業後、和光大学人間関係学科中退。1979... 古川享 undefined 1954年東京生まれ。麻布高校卒業後、和光大学人間関係学科中退。1979年（株）アスキー入社。出版、ソフトウェアの開発事業に携わる。1982年同社取締役、1986年3月同社退社、1986年5月 米マイクロソフトの日本法人マイクロソフト株式会社を設立。初代代表取締役社長就任。1991年同社代表取締役会長兼米マイクロソフト極東開発部長、バイスプレジデント歴任後、2004年マイクロソフト株式会社最高技術責任者を兼務。2005年6月同社退社。 2006年5月慶應義塾大学大学院設置準備室、DMC教授。2008年4月慶應義
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
人間の脳を模倣した？「ニューラルネットワーク」とは何か。 ｜ SiTest (サイテスト) ブログ
NTTデータらがウォークスルー店舗 消費者は商品を「持ち帰るだけ」
社員は“マジメで勤勉”なのに、会社はアナログのまま…富士通の「DX請負人」が痛感した日本企業の重大な欠陥（プレジデントオンライン） - Yahoo!ニュース
地味だけど歴史的英断？ Googleの検索結果ページ、連続して読み込まれる仕様に変更へ【やじうまWatch】
オブジェクト崇拝は罪！ 古ヘブライ文字で記述する創世的プログラミング言語が降臨／そこはかとなく神聖な感じのするソースコードがやんごとない【やじうまの杜】
