訃報: 計算機科学者のフェルナンド・コルバト氏
ストーリー by headless 2019年07月15日 17時26分訃報 部門より
世界初のタイムシェアリングオペレーティングシステムの一つ、Compatible Time Sharing System (CTSS)の開発を率いた計算機科学者のフェルナンド「Corby」コルバト氏が12日、93歳で死去した。死因は糖尿病による合併症と伝えられている(MIT CSAILのニュース記事、 The Next Webの記事、 The New York Timesの記事)。
コルバト氏は1926年7月1日生まれ。17歳でテクニシャンとして海軍に入隊すると、レーダーやソナーのバグ除去で活躍する。除隊後はカリフォルニア工科大学で学士号、MITで博士号を取得。MITで開発されたCTSSは世界で初めてユーザーアカウントにパスワードを使用したシステムであることから、コルバト氏はパスワードの発明者として認識されている。
CTSSに続いてコルバト氏が開発を率いたMulticsは、のちのUNIX系OSに大きな影響を与えた。1990年にはチューリング賞を受賞。あるプログラマーが一定時間内に書くことのできるコードの行数はプログラミング言語にかかわらず同じだとする「コルバトの法則」でも知られる。
https://developers.srad.jp/story/19/07/15/054216/
【訃報】計算機科学者のフェルナンド・コルバト氏 2019/07/15
■ このスレッドは過去ログ倉庫に格納されています
1朝一から閉店までφ ★
2019/07/16(火) 04:08:47.64ID:CAP_USER2ニュースソース検討中@自治議論スレ
2019/07/16(火) 04:12:51.16ID:HYMNwc/b スラドでスレ立てしていいんかい?
3ニュースソース検討中@自治議論スレ
2019/07/16(火) 04:32:14.63ID:2NWoCyph 17歳でテクニシャンとして海軍に入隊
2019/07/16(火) 06:14:27.15ID:iQWzlTzg
>>1
>あるプログラマーが一定時間内に書くことのできるコードの行数は
プログラミング言語にかかわらず同じだとする「コルバトの法則」でも知られる。
これは何か仮定があって言ってるんだろうか?
便利なライブラリ群を全く使わず、1から自分で全て書くとかそういう仮定の下で成り立つのかな
wikiを見ると
>アセンブリ言語かコンパイラ言語かということとは関係なく、ソースコードの、
1日の(うちに生産できる)デバッグ済みの行の数はだいたい同じである。
やっぱりデバッグ済みのコードの行数か
後はその言語で文字列ライブラリやファイル入出力ライブラリ、システム制御関数ライブラリが
整理されてて、そのマニュアルがweb上に一杯あるほど早くなる、だろうけど
それとは別の話ねw
>あるプログラマーが一定時間内に書くことのできるコードの行数は
プログラミング言語にかかわらず同じだとする「コルバトの法則」でも知られる。
これは何か仮定があって言ってるんだろうか?
便利なライブラリ群を全く使わず、1から自分で全て書くとかそういう仮定の下で成り立つのかな
wikiを見ると
>アセンブリ言語かコンパイラ言語かということとは関係なく、ソースコードの、
1日の(うちに生産できる)デバッグ済みの行の数はだいたい同じである。
やっぱりデバッグ済みのコードの行数か
後はその言語で文字列ライブラリやファイル入出力ライブラリ、システム制御関数ライブラリが
整理されてて、そのマニュアルがweb上に一杯あるほど早くなる、だろうけど
それとは別の話ねw
2019/07/16(火) 06:32:58.02ID:14Mo1oT8
この場合のテクニシャンは補助的なお手伝いって意味合いでしょうね。17歳で技術者の職ないだろうし。
6ニュースソース検討中@自治議論スレ
2019/07/16(火) 07:18:36.31ID:Dyo7n7NZ7ニュースソース検討中@自治議論スレ
2019/07/16(火) 07:19:07.75ID:Dyo7n7NZ 84年‘前の少女たちが「今の女子高生と同じ姿」と衝撃走る(動画)
https://witkopin.ddo.jp/1002.html
https://witkopin.ddo.jp/1002.html
8ニュースソース検討中@自治議論スレ
2019/07/16(火) 07:25:44.54ID:Yd54pEDq ご冥福をお祈りいたします
9ニュースソース検討中@自治議論スレ
2019/07/16(火) 07:27:51.33ID:cgPqk+5t>17歳でテクニシャンとして海軍に入隊すると、レーダーやソナーのバグ除去で活躍する。除隊後はカリフォルニア工科大学で学士号、MITで博士号を取得。
この経歴が凄い。
10ニュースソース検討中@自治議論スレ
2019/07/16(火) 07:40:27.80ID:cgPqk+5t>>5
エンジニアは仕組みに精通し改造したり仕様を変更したり。
テクニシャンは扱い方を知り運用する。
給料はエンジニア>>テクニシャン
だから才能はあったのに経済的?その他の理由で軍で働いたのだと思う。
11ニュースソース検討中@自治議論スレ
2019/07/16(火) 12:59:36.11ID:CMMWZam1 >93歳で死去した。
すごい長生きだな
すごい長生きだな
2019/07/16(火) 13:07:35.22ID:IJRH2xnX
>>4
何を言っているんだ単に「コードの行数」だろ
1日500行書く人間がいるとして、
例えば簡単な家計簿ソフト作るのに、
高級言語でライブラリもそろっていれば500行=1日でおおよそ全部出来てしまう
アセンブラで作れば、画面に何か表示させるのに500行 それで1日がかり
取り付けた機能の比率とは関係なく、書く行数は同じ、ということ
何を言っているんだ単に「コードの行数」だろ
1日500行書く人間がいるとして、
例えば簡単な家計簿ソフト作るのに、
高級言語でライブラリもそろっていれば500行=1日でおおよそ全部出来てしまう
アセンブラで作れば、画面に何か表示させるのに500行 それで1日がかり
取り付けた機能の比率とは関係なく、書く行数は同じ、ということ
2019/07/16(火) 13:31:55.21ID:UA2jvx5S
multicsって、それに対抗したからunixって名前になったと言う事で超有名だよな
ご冥福を祈ります。
ご冥福を祈ります。
14ニュースソース検討中@自治議論スレ
2019/07/16(火) 15:55:53.83ID:H9FIJhq9 Unixの反面教師のMultics
悪夢だろ
あんなの
悪夢だろ
あんなの
15よっちゃん
2019/07/16(火) 16:08:26.62ID:Stq3wS7K16よっちゃん
2019/07/16(火) 16:09:25.68ID:Stq3wS7K https://juniperpublishers.com/bboaj/pdf/BBOAJ.MS.ID.555703.pdf
Is It Really Impossible To Divide By Zero?
Is It Really Impossible To Divide By Zero?
17よっちゃん
2019/07/16(火) 16:10:14.43ID:Stq3wS7K 何故ゼロ除算が不可能であったか理由
1 割り算を掛け算の逆と考えた事
2 極限で考えようとした事
3 教科書やあらゆる文献が、不可能であると書いてあるので、みんなそう思った。
Matrices and Division by Zero z/0 = 0
http://file.scirp.org/pdf/ALAMT_2016061413593686.pdf
1 割り算を掛け算の逆と考えた事
2 極限で考えようとした事
3 教科書やあらゆる文献が、不可能であると書いてあるので、みんなそう思った。
Matrices and Division by Zero z/0 = 0
http://file.scirp.org/pdf/ALAMT_2016061413593686.pdf
18よっちゃん
2019/07/16(火) 16:11:10.08ID:Stq3wS7K The Institute of Reproducing Kernels is dealing with the theory of division by zero
calculus and declares that the division by zero was discovered as 0/0=1/0=z/0=0
in a natural sense on 2014.2.2. The result shows a new basic idea on the universe
and space since Aristotelēs (BC384 - BC322) and Euclid (BC 3 Century - ),
and the division by zero is since Brahmagupta (598 - 668 ?).
calculus and declares that the division by zero was discovered as 0/0=1/0=z/0=0
in a natural sense on 2014.2.2. The result shows a new basic idea on the universe
and space since Aristotelēs (BC384 - BC322) and Euclid (BC 3 Century - ),
and the division by zero is since Brahmagupta (598 - 668 ?).
19ニュースソース検討中@自治議論スレ
2019/07/16(火) 20:20:34.12ID:YV/a27hh コバルトに 燃える海 いつまでも一人 見つめるの♪
20ニュースソース検討中@自治議論スレ
2019/07/16(火) 21:50:12.97ID:QFszfpDc Multicsは、個々のアイデアは良かったわけでしょ。
でも、取捨選択がおかしかったから、超シンプルなUNIXができた。
が、UNIXも世間に流行ったのは、機能追加を繰り返した後。
でも、取捨選択がおかしかったから、超シンプルなUNIXができた。
が、UNIXも世間に流行ったのは、機能追加を繰り返した後。
21ニュースソース検討中@自治議論スレ
2019/07/17(水) 01:49:32.71ID:o3Ejsi+Q マルチックスは日本のメインフレームメーカも大きく影響されていた。
マルチックスは当時としてはOSやアプリの論理的な面から要求される
機能を実現するようにデザインされたが、当時のハードウェアの能力が
貧相だったので、期待しただけの性能を発揮できなかったのが、世間に
失望を与えた。計算機の性能(特にスループット=処理をこなす能力)を
高めるのには、OSなどの機能を単純化してハード寄りにすればそれだけ
性能を出しやすくなるが、抽象度は落ちてしまい、ハードが代わると
その新しいシステムでの最高の性能は出なくなったりする。それに
抽象性が落ちて低脳なシステムになると、ソフトを書いたりプログラムを
動かす人間の側の労苦にしわ寄せがいくことになる。
マルチックスは当時としてはOSやアプリの論理的な面から要求される
機能を実現するようにデザインされたが、当時のハードウェアの能力が
貧相だったので、期待しただけの性能を発揮できなかったのが、世間に
失望を与えた。計算機の性能(特にスループット=処理をこなす能力)を
高めるのには、OSなどの機能を単純化してハード寄りにすればそれだけ
性能を出しやすくなるが、抽象度は落ちてしまい、ハードが代わると
その新しいシステムでの最高の性能は出なくなったりする。それに
抽象性が落ちて低脳なシステムになると、ソフトを書いたりプログラムを
動かす人間の側の労苦にしわ寄せがいくことになる。
22ニュースソース検討中@自治議論スレ
2019/07/17(水) 09:51:47.53ID:9XqlO3ix そのUnixも最近じゃ図体がでかいんだよな
systemdとかudevとか
systemdとかudevとか
23ニュースソース検討中@自治議論スレ
2019/07/21(日) 23:21:36.22ID:KOqItacG ご冥福をお祈りいたします
24ニュースソース検討中@自治議論スレ
2019/10/02(水) 01:23:30.55ID:y8PByfq+ 昔のPDP−11のUnixはソースを読んで理解できたが、
今のUnixは複雑になっとるからね。
新しい機能をつぎつぎと入れて行くから、
これでもう完成ですなどということは無いようだ。
必要な機能はこれだけで全部で、それは既に備わっている。
後はバグを減らして、機能を実現する能率を高めることだけだ、
そういう状態が何十年も続く時代が来るのだろうか?
つまりOSの設計やソースコードの構造、OSの上で動く
アプリからOSを見たときのAPIはもう何十年も変わりがなくて、
あとはハードの性能だけが向上する、みたいな。
#全部をUnixで括ってしまえば、Unixはもう50年近くも
つかわれ続けて居て、OSは実質的にはUnixばかりという
状態が現在だと思う。ただUnixのバリエーションがWindows
も含めて無駄に多いだけで。
今のUnixは複雑になっとるからね。
新しい機能をつぎつぎと入れて行くから、
これでもう完成ですなどということは無いようだ。
必要な機能はこれだけで全部で、それは既に備わっている。
後はバグを減らして、機能を実現する能率を高めることだけだ、
そういう状態が何十年も続く時代が来るのだろうか?
つまりOSの設計やソースコードの構造、OSの上で動く
アプリからOSを見たときのAPIはもう何十年も変わりがなくて、
あとはハードの性能だけが向上する、みたいな。
#全部をUnixで括ってしまえば、Unixはもう50年近くも
つかわれ続けて居て、OSは実質的にはUnixばかりという
状態が現在だと思う。ただUnixのバリエーションがWindows
も含めて無駄に多いだけで。
25ニュースソース検討中@自治議論スレ
2019/10/02(水) 02:09:51.94ID:nbME50v/ 93歳か。確かに長生きだが一般人と10歳ぐらいしか違わない。
誤差みたいなもんだな。結局遺伝子で寿命が決まってるから
何やっても大差ないってことだな。
誤差みたいなもんだな。結局遺伝子で寿命が決まってるから
何やっても大差ないってことだな。
26ニュースソース検討中@自治議論スレ
2019/10/02(水) 06:15:10.93ID:hyIKGKFqMulticsはこの人が開発責任者だったのか。
あれはひとつの理想像だ。但し、同時代のHWに対し重過ぎた。
HW性能との関係でもっと軽量なところから徐々にスペックを上げる方向性があれば、
普及したかもしれない。
今は、夏草や兵どもの夢のあと、となったハネウェルのメインフレームに実装されたんだっけ?
GCOSあたりが影響受けてそうだな。
もっとも最後はパソコンから出発した、Windows風なもんで置き換えられたと思うけどね。
NTはセキュリティ的には多少Multics風な考え方してるけどね。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【刑事裁判】ベネズエラ攻撃と大統領拘束 トランプ政権は戦争行為ではなく「法執行」と主張の構え… [BFU★]
- ひろゆき氏 “圧倒的強者”以外は結婚した方がいいと持論 「ひとりが好きとか言ってる人は孤独死コース」 [冬月記者★]
- ロシア、米のベネズエラ攻撃は「武力による侵略行為」 各国も懸念表明★2 [七波羅探題★]
- 【円安】屈辱の「1ドル=250円」時代がやってくる…食料もガソリンも買えなくなる「弱い通貨」の"真っ暗な未来" ★2 [ぐれ★]
- 【米軍事攻撃】日本政府、情報収集急ぐ 米支持か、対応に難題 ★3 [蚤の市★]
- 【国際】ベネズエラ、安保理会合を要請 [ぐれ★]
- 【高市悲報】ドナルド・トランプ会見会場 [115996789]
- 【正月恒例】!omikuji丼!damaで豚丼380円を出すスレ
- 【Eテレ】AKIRA高速感想スレ22:00~ [605029151]
- 【年末年始暇な奴来い】安価で指定されたものを全力で探してうpするスレ
- 🏡👹ゴーストオブドウテイ👻🏡
- 【高市悲報】アメリカの同盟国に難題「トランプを支持したら、中露に『国際法無視していい』というメッセージになってしまう…」 [481941988]
