ACM Software System Advent Calendar 2024
https://qiita.com/advent-calendar/2024/acm
Day 1 投稿記事です。

ACMの過去２５年間の Software System Award に輝いたシステムを題材にした記事を募集します。

どれか一つの話題でも、複数の話題でも結構です。

下記記事のように、２５システム中、１５システムに言及している自己記事一覧でもO.K.

あなたは、Qiitaでいくつのシステムについて言及していますか？

一覧

Qiita articleが関連記事です。そのViews、likes, stocksを記載しました。

year	system	designer	Qiita article	views	likes	stocks	URL
1998	THE S SYSTEM	John M. Chambers	THE S SYSTEM, by John M. Chambers https://qiita.com/kaizen_nagoya/items/333c522ff74c97f95339	0	0	0	https://awards.acm.org/award-recipients/chambers_6640862
1999	APACHE	Brian Behlendorf, Roy Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson	「DockerでPHP7.0×Apacheの環境を構築する@kurkuru」IT業界新人利用時の１6の壁(mac mini編）docker(80) https://qiita.com/kaizen_nagoya/items/315e8d05a6eef00b56d1	3739	5	5	https://awards.acm.org/award-recipients/behlendorf_0123052
2001	SPIN	Gerard Holzmann	SPIN: 50歳からのプログラミング言語入門。docker(152) coding(47) coq(10) https://qiita.com/kaizen_nagoya/items/5c7cec79cb3b15237076	4546	16	8	https://awards.acm.org/award-recipients/holzmann_1625680
2002	JAVA	James Gosling	「基礎からわかるTCP/IP JAVAネットワークプログラミング」Eclipseでコンパイル。Wireshark(5)でデバッグ。ethernet(111) coding(82) https://qiita.com/kaizen_nagoya/items/14519536b827fdadb32e	12516	6	11	https://awards.acm.org/award-recipients/gosling_9843418
2003	MAKE	Stuart Feldman	make: どうやって MISRA Example Suiteをコンパイルするか #ifdef error_debug, error(20) coding(26) https://qiita.com/kaizen_nagoya/items/fbdbff5ff696e2ca7f00	4241	5	3	https://awards.acm.org/award-recipients/feldman_1240498
2004	SECURE NETWORK PROGRAMMING	Raghuram Bindignavle	SECURE NETWORK PROGRAMMING https://qiita.com/kaizen_nagoya/items/4513e6aa33849c2ec34f	0	0	0	https://awards.acm.org/award-recipients/bindignavle_1474498
2005	THE BOYER-MOORE THEOREM PROVER	Robert S. Boyer, Matt Kaufmann, J Strother Moore	THE BOYER-MOORE THEOREM PROVER https://qiita.com/kaizen_nagoya/items/581240d6adec8247bd17	0	0	0	https://awards.acm.org/award-recipients/boyer_4797551
2006	EIFFEL	Bertrand Meyer	賢人の跡を追って仮説(249) https://qiita.com/kaizen_nagoya/items/536c2cabae2586afbc86	1143	1	1	https://awards.acm.org/award-recipients/meyer_0256073
2007	STATEMATE	David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Mark Trakhtenbrot, Aron Trauring					https://awards.acm.org/award-recipients/naamad_2386624
2008	THE GAMMA PARALLEL DATABASE SYSTEM	David DeWitt, Robert Gerber, Murali Krishna, Donovan Schneider, Shahram Ghandeharizadeh, Goetz Graefe, Michael Heytens, Hui-I Hsiao, Jeffrey Naughton, Anoop Sharma					https://awards.acm.org/award-recipients/dewitt_1251768
2009	VMWARE WORKSTATION FOR LINUX 1.0	Edouard Bugnion, Scott Devine, Mendel Rosenblum, Jeremy Sugerman, Edward Y. Wang	kernel source: TOPPERS/SSP四段活用。落とし方、読み方、コンパイルの仕方、アプリの作り方。７つの壁 https://qiita.com/kaizen_nagoya/items/cdce810943ba063efc47	4654	7	3	https://awards.acm.org/award-recipients/bugnion_3886645
2010	GROUPLENS COLLABORATIVE FILTERING RECOMMENDER SYSTEMS	Peter Bergstrom, Lee R. Gordon, Jonathan L. Herlocker, Neophytos Iacovou, Joseph A. Konstan, Shyong (Tony) K. Lam, David Maltz, Sean M. McNee, Bradley N. Miller, Paul J. Resnick, John T. Riedl, Mitesh Suchak	GROUPLENS COLLABORATIVE FILTERING RECOMMENDER SYSTEMS https://qiita.com/kaizen_nagoya/items/25fba1677c7c3373fc1b	0	0	0	https://awards.acm.org/award_winners/riedl_2663490
2011	Eclipse	Greg Adams, John Duimovich, Erich Gamma, Kevin Haaland, Julian Jones, Philippe Mulet, Steve Northover, Dave Thomson and John Weigand:	No Cask with this name exists. Did you mean one of these?　macOSにbrew caskでEclipseを導入する(５つの壁+1)　error(58) https://qiita.com/kaizen_nagoya/items/b17f03db00aceee41a80	9743	6	4	https://www.youtube.com/watch?v=Tgxe3LXZ4o4
2012	LLVM	Vikram S. Adve, Evan Cheng and Chris Lattner	LLVMソースコードコンパイルハマった罠。脱出するための努力。coding(83) https://qiita.com/kaizen_nagoya/items/16f270e42b947756ced3	6845	13	13	https://www.youtube.com/watch?v=vwA4JZ-5qMU
2013	Coq	Thierry Coquand, Gérard Pierre Huet, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot and Pierre Castéran	「coq(1)入門」入門 https://qiita.com/kaizen_nagoya/items/13566f0b2083ea8d4998	14825	40	36	https://coq.inria.fr/news/coq-received-acm-software-system-2013-award.html
2014	Mach	Rick Rashid of Micro- soft and Avadis (Avie) Tevanian	ReportCrash MacBook Pro error(119) https://qiita.com/kaizen_nagoya/items/84a7a06934d08b4258f0	1051	0	1	https://dl.acm.org/doi/pdf/10.1145/2773558
2015	GCC (GNU Compiler Collection)	Richard Stallman	コンパイル用shell script C版(clangとgcc)とC++(37) 版(clang++とg++) https://qiita.com/kaizen_nagoya/items/74220c0577a512c2d7da	8210	7	3	https://awards.acm.org/software-system
2016	Andrew File System (AFS)	Mahadev Satyanarayanan, Michael L. Kazar, Robert N. Sidebotham, David A. Nichols, Michael J. West, John H. Howard, Alfred Z. Spector and Sherri M. Nichols					https://awards.acm.org/software-system
2017	Jupyter	Fernando Pérez, Brian E. Granger, Min Ragan-Kelley, Paul Ivanov, Thomas Kluyver, Jason Grout, Matthias Bussonnier, Damián Avila, Steven Silvester, Jonathan Frederic, Kyle Kelley, Jessica Hamrick, Carol Willing, Sylvain Corlay and Peter Parente (members of the Project Jupyter Steering Council),	「詳解　ディープラーニング　TensorFlow・Kerasによる時系列データ処理」巣籠悠輔　著。dockerで機械学習(7) with anaconda(7) https://qiita.com/kaizen_nagoya/items/244a981c9160c0d50a0e	3556	3	6	https://awards.acm.org/software-system
2018	Wireshark	Gerald C. Combs	Wireshark(3) 導入、記録、分析。無線網（Wi-Fi）空中線(antenna)(64) https://qiita.com/kaizen_nagoya/items/d1d452d5f3eadd420d6e	8386	10	13	https://awards.acm.org/software-system
2019	Domain Name System (DNS)	Paul Mockapetris	住所(address) Ethernet(120) https://qiita.com/kaizen_nagoya/items/27b6af094a815283f2aa	1268	2	2	https://awards.acm.org/software-system
2020	Berkeley DB	Margo Seltzer, University of British Columbia; Mike Olson, formerly of Cloudera; and Keith Bostic, MongoDB,					https://awards.acm.org/software-system
2021	CompCert	Xavier Leroy, Collège de France; Sandrine Blazy, University of Rennes 1, IRISA; Zaynah Dargaye, Nomadic Labs; Jacques-Henri Jourdan, CNRS, Laboratoire Méthodes Formelles; Michael Schmidt, AbsInt Angewandte Informatik; Bernhard Schommer, Saarland University, and AbsInt Angewandte Informatik GmbH; and Jean-Baptiste Tristan, Boston College	compcert https://qiita.com/kaizen_nagoya/items/6d54d8c8c22c39b16aff	0	0	0	https://awards.acm.org/software-system
2022	seL4 high-assurance microkernel	Gernot Heiser, University of New South Wales; Gerwin Klein, Proofcraft; Harvey Tuch, Google; Kevin Elphinstone, University of New South Wales; June Andronick, Proofcraft; David Cock, ETH Zurich; Philip Derrin, Qualcomm; Dhammika Elkaduwe, University of Peradeniya; Kai Engelhardt; Toby Murray, University of Melbourne; Rafal Kolanski, Proofcraft; Michael Norrish, Australian National University; Thomas Sewell, University of Cambridge; and Simon Winwood, Galois	seL4 high-assurance microkernel https://qiita.com/kaizen_nagoya/items/1ec03b35dbb8edb1f575				https://awards.acm.org/software-system
2023	MINIX	Andrew S. Tanenbaum	アンドリュー・S・タネンバウム Minix(Linux発祥の地）https://qiita.com/kaizen_nagoya/items/4443344b3d08047a115c	3955	2	3	https://awards.acm.org/software-system
			合計	88678	123	112

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words and/or centences in order.

自己記事一覧

Qiitaで逆リンクを表示しなくなったような気がする。時々、スマフォで表示するとあらわっることがあり、完全に削除したのではなさそう。

４月以降、せっせとリンクリストを作り、統計を取って確率を説明しようとしている。
2025年２月末を目標にしている。

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

資料集 [あなたもdocker私もdocker一覧] docker(0)
https://qiita.com/kaizen_nagoya/items/45699eefd62677f69c1d

C++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding(0) Rules, C, Secure, MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

なぜdockerで機械学習するか書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

Python(0)記事をまとめたい。
https://qiita.com/kaizen_nagoya/items/088c57d70ab6904ebb53

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

統計(0)一覧
https://qiita.com/kaizen_nagoya/items/80d3b221807e53e88aba

図(0) state, sequence and timing. UML and お絵描き
https://qiita.com/kaizen_nagoya/items/60440a882146aeee9e8f

品質一覧
https://qiita.com/kaizen_nagoya/items/2b99b8e9db6d94b2e971

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

音楽　一覧(0)
https://qiita.com/kaizen_nagoya/items/b6e5f42bbfe3bbe40f5d

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/faa4ea03d91d901a618a

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

「はじめての」シリーズ　ベクタージャパン　
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

LaTeX(0) 一覧　
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

関連資料

' @kazuo_reve 私が効果を確認した「小川メソッド」
https://qiita.com/kazuo_reve/items/a3ea1d9171deeccc04da

' @kazuo_reve 新人の方によく展開している有益な情報
https://qiita.com/kazuo_reve/items/d1a3f0ee48e24bba38f1

' @kazuo_reve Vモデルについて勘違いしていたと思ったこと
https://qiita.com/kazuo_reve/items/46fddb094563bd9b2e1e

Engineering Festa 2024前に必読記事一覧

programの本質は計画だ。programは設計だ。
https://qiita.com/kaizen_nagoya/items/c8545a769c246a458c27

登壇直後版色使い(JIS安全色) Qiita Engineer Festa 2023〜私しか得しないニッチな技術でLT〜スライド編 0.15
https://qiita.com/kaizen_nagoya/items/f0d3070d839f4f735b2b

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

逆も真：社会人が最初に確かめるとよいこと。OSEK(69)、Ethernet(59)
https://qiita.com/kaizen_nagoya/items/39afe4a728a31b903ddc

統計の嘘。仮説（127）
https://qiita.com/kaizen_nagoya/items/63b48ecf258a3471c51b

自分の言葉だけで論理展開できるのが天才なら、文章の引用だけで論理展開できるのが秀才だ。仮説（136）
https://qiita.com/kaizen_nagoya/items/97cf07b9e24f860624dd

参考文献駆動執筆(references driven writing)・デンソークリエイト編
https://qiita.com/kaizen_nagoya/items/b27b3f58b8bf265a5cd1

「何を」よりも「誰を」。１０年後のために今見習いたい人たち
https://qiita.com/kaizen_nagoya/items/8045978b16eb49d572b2

Qiitaの記事に３段階または５段階で到達するための方法
https://qiita.com/kaizen_nagoya/items/6e9298296852325adc5e

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

あなたは「勘違いまとめ」から、勘違いだと言っていることが勘違いだといくつ見つけられますか。人間の間違い(human error(125))の種類と対策
https://qiita.com/kaizen_nagoya/items/ae391b77fffb098b8fb4

プログラマの「プログラムが書ける」思い込みは強みだ。３つの理由。仮説（168）統計と確率(17) , OSEK(79)
https://qiita.com/kaizen_nagoya/items/bc5dd86e414de402ec29

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

これからの情報伝達手段の在り方について考えてみよう。炎上と便乗。
https://qiita.com/kaizen_nagoya/items/71a09077ac195214f0db

ISO/IEC JTC1 SC7 Software and System Engineering
https://qiita.com/kaizen_nagoya/items/48b43f0f6976a078d907

アクセシビリティの知見を発信しよう！（再び）
https://qiita.com/kaizen_nagoya/items/03457eb9ee74105ee618

統計論及確率論輪講（再び）
https://qiita.com/kaizen_nagoya/items/590874ccfca988e85ea3

読者の心をグッと惹き寄せる7つの魔法
https://qiita.com/kaizen_nagoya/items/b1b5e89bd5c0a211d862

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

ソースコードで議論しよう。日本語で議論するの止めましょう（あるプログラミング技術の議論報告）
https://qiita.com/kaizen_nagoya/items/8b9811c80f3338c6c0b0

脳内コンパイラの3つの危険
https://qiita.com/kaizen_nagoya/items/7025cf2d7bd9f276e382

心理学の本を読むよりはコンパイラ書いた方がよくね。仮説（34）
https://qiita.com/kaizen_nagoya/items/fa715732cc148e48880e

NASAを超えるつもりがあれば読んでください。
https://qiita.com/kaizen_nagoya/items/e81669f9cb53109157f6

データサイエンティストの気づき!「勉強して仕事に役立てない人。大嫌い!!」『それ自分かも?』ってなった!!!
https://qiita.com/kaizen_nagoya/items/d85830d58d8dd7f71d07

「ぼくの好きな先生」「人がやらないことをやれ」プログラマになるまで。仮説（37）　
https://qiita.com/kaizen_nagoya/items/53e4bded9fe5f724b3c4

なぜ経済学徒を辞め、計算機屋になったか（経済学部入学前・入学後・卒業後対応）転職(1)
https://qiita.com/kaizen_nagoya/items/06335a1d24c099733f64

プログラミング言語教育のXYZ。仮説（52）
https://qiita.com/kaizen_nagoya/items/1950c5810fb5c0b07be4

【24卒向け】9ヶ月後に年収１０００万円を目指す。二つの関門と三つの道。
https://qiita.com/kaizen_nagoya/items/fb5bff147193f726ad25

「【25卒向け】Qiita Career Meetup for STUDENT」予習の勧め
https://qiita.com/kaizen_nagoya/items/00eadb8a6e738cb6336f

大学入試不合格でも筆記試験のない大学に入って卒業できる。卒業しなくても博士になれる。
https://qiita.com/kaizen_nagoya/items/74adec99f396d64b5fd5

全世界の不登校の子供たち「博士論文」を書こう。世界子供博士論文遠隔実践中心安全(99)
https://qiita.com/kaizen_nagoya/items/912d69032c012bcc84f2

小川メソッド　覚え（書きかけ）
https://qiita.com/kaizen_nagoya/items/3593d72eca551742df68

DoCAP（ドゥーキャップ）って何ですか？
https://qiita.com/kaizen_nagoya/items/47e0e6509ab792c43327

views 20,000越え自己記事一覧
https://qiita.com/kaizen_nagoya/items/58e8bd6450957cdecd81

Views１万越え、もうすぐ１万記事一覧最近いいねをいただいた213記事
https://qiita.com/kaizen_nagoya/items/d2b805717a92459ce853

amazon 殿堂入りNo1レビュアになるまで。仮説(102)
https://qiita.com/kaizen_nagoya/items/83259d18921ce75a91f4

100以上いいねをいただいた記事16選
https://qiita.com/kaizen_nagoya/items/f8d958d9084ffbd15d2a

小川清最終講義、最終講義（再）計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on my individual experience. It has nothing to do with the organization or business to which I currently belong.

文書履歴(document history)

ver. 0.01 初稿　20241129

最後までおよみいただきありがとうございました。

いいね　💚、フォローをお願いします。

Thank you very much for reading to the last sentence.

Please press the like icon 💚　and follow me for your happy life.