なぜ、Linuxユーザーはこんなに知的で魅力的なのか? (227ﾚｽ)
上下前次1-新
29: [age] 2021/12/07(火)20:02 ID:18owKgS3(5/14) AAS
みずほ銀行の長引くシステムトラブルだって、もし、経営陣がLinuxを普段使って
いるようなITやシステムに通じた人間だったら、あのようなことは起こらなかったこと
だろう。
判子大臣みたいなのが銀行経営陣に陣取っているから、有能な古株技術者(COBOLER)を
コストカットで安易に切ったりして、あのような悲惨な事態になったのだろうから
30: 2021/12/07(火)20:05 ID:3k8tzhfT(2/18) AAS
経営陣はスマホのOSさえLinuxを義務付けるべき。
法律で。
しかもCLIだ。
31: 2021/12/07(火)20:09 ID:3k8tzhfT(3/18) AAS
我が国にLinuxが在れば、太平洋戦争で負けることも無かっただろう。
32: [age] 2021/12/07(火)20:15 ID:18owKgS3(6/14) AAS
世界大戦は、情報戦、諜報戦だから、そうかもねｗ
今度、中国が台湾侵攻で日本も参戦になるかもだから、
LinuxでIT系を鍛えて置いた方がいいかも、みんな、政治家含めて
中国の大臣や閣僚はみんな理系エリートだからねえ、
今のままだと日本は勝ち目ないけど
33: 2021/12/07(火)20:17 ID:3k8tzhfT(4/18) AAS
大臣はせめてタッチタイピングくらいは出来て欲しいですよね。
これも法律で義務付けるべき。
34: [age] 2021/12/07(火)20:21 ID:18owKgS3(7/14) AAS
チューリングマシンのアラン・チューリングや「情報理論」のクロード・シャノンが
現代に生きてたら、たぶん、Linux推しだと思うんだけどなあ
ハスケル・カリーでもいいけど、プリンストンで教えていたのだから、
なおさらLinuxを使っていることだろう
35: 2021/12/07(火)20:25 ID:3k8tzhfT(5/18) AAS
プログラムを書く必要のある研究なら、Linuxをお勧めして間違いないのでは。
36: 2021/12/07(火)20:33 ID:3k8tzhfT(6/18) AAS
Callコマンドで電話をかける。
37: [age] 2021/12/07(火)20:33 ID:18owKgS3(8/14) AAS
コンビネータ論理(combinatory logic、組み合わせ論理）は、
モイセイ・シェインフィンケリ（露: Моисей Эльевич Шейнфинкель、英: Moses Ilyich Schönfinkel）とハスケル・カリー（Haskell Brooks Curry）によって、記号論理での変数を消去するために導入された
記法である。
最近では、計算機科学において計算の理論的モデルで利用されてきている。
また、関数型プログラミング言語の理論（意味論など）や実装にも応用がある。
コンビネータ論理は、コンビネータまたは引数のみからなる関数適用に
よって結果が定義されている高階関数、コンビネータに基づいている。
38: [age] 2021/12/07(火)20:34 ID:18owKgS3(9/14) AAS
コンビネータ論理は元来、本質的に量化変数を消去することによって量化
変数の役割を明確にするような「pre-logic」を意図していた。
量化変数を消去する方法にはクワインの述語関手論理がある。
コンビネータ論理の表現力は一階述語論理を超える一方、述語関手論理の
表現力は一階述語論理と同等である。
コンビネータ論理の最初の発明者であるモイセイ・シェインフィンケリは、1924年の論文以降
それについて何も出版していない（ヨシフ・スターリンが1929年に権力を確固なものとして
からはほとんど出版を行なっていない）。
39: [age] 2021/12/07(火)20:35 ID:18owKgS3(10/14) AAS
1927年後半、カリーはプリンストン大学の講師として働いているときに
コンビネータを再発見した。1930年代後半、アロンゾ・チャーチと
プリンストン大学の彼の教え子が、ラムダ計算というライバルとなる
関数抽象の形式化を考案し、コンビネータ論理より人気を博すこととなった。
こうした歴史的偶然のために、理論計算機科学が60〜70年代にコンビネータ論理に関心を
持ち始めるまで、この分野のほとんどすべての業績は、ほとんどカリーとその教え子、もしくは
ベルギーのロベール・フェイによるものであった。より最近のコンビネータ論理とラムダ計算の
比較については Barendregt (1984) を参照されたい（デイナ・スコットが60〜70年代に
考案したコンビネータ論理のためのモデル理論についても触れている）。
40: 2021/12/07(火)20:47 ID:3k8tzhfT(7/18) AAS
知的だ。
41: [age] 2021/12/07(火)20:51 ID:18owKgS3(11/14) AAS
Haskellは圏論の意匠で作られた純粋関数型プログラミング言語だけど、
圏論というのも、取っ付きにくさで、Linuxと少し似た雰囲気がある
「圏論、あんな訳分からんものやって、何になるのさ？」という層と、
Linuxはゴミと断言する層は、知的底辺という意味では同一クラスタに
分類されそうだね。関手(Fanctor)、射、なんじゃそりゃ？みたいな感じで
42: [age] 2021/12/07(火)20:55 ID:18owKgS3(12/14) AAS
Functorって聞いて、ピンと来ますか？
関手（かんしゅ、functor）とは、圏の間の対応付けのことである。関手は
対象関数と射関数の組からなる。関手（かんしゅ、functor）とは、圏の間の
対応付けのことである。関手は対象関数と射関数の組からなる。
Set: 集合を「対象」とし、集合間の写像を「射」とする。
Grp: 群を「対象」とし、群の準同型を「射」とする。
のように、「対象」と「射」をまとめたものが「圏」であると説明されています。
「関手(Functor)」は、この「圏」から「圏」への対応付けを行います
43: 2021/12/07(火)20:55 ID:3k8tzhfT(8/18) AAS
簡単に言うと、バカには無理ってことですよね。
44: [age] 2021/12/07(火)21:00 ID:18owKgS3(13/14) AAS
Linuxは抽象度が高いので、直観的に扱えないのが難しいと思われる点でしょう。
抽象的な記号論、ロジック、制御系が有する難しさだと思うので、GUIに慣れている
一般人には不向きなOSと言えるでしょうね
45: 2021/12/07(火)21:01 ID:p6HjxgXD(2/3) AAS
大学や企業の研究所だとLinuxだからって理由でつかってないから低学歴ド底辺な戌厨の妄想とはまったく違うんだよな。
彼らはコンピュータのOSより自分等の使いやすいライブラリが充実してる言語を重視する。
価値観が違うとか言うレベルでなく、Linuxなんてどうでも良いと思ってるから。
ある意味、解りやすいけど価値観やら倫理観がぶっ飛んでる。
仕事だけの付き合いでも、気疲れするわ。
46: 2021/12/07(火)21:09 ID:3k8tzhfT(9/18) AAS
Windowsはライブラリを集めるのが一仕事なので、コマンド一発クンで依存関係まで解決されるLinuxがアカデミック用途で好まれるのでしょう。
47: 2021/12/07(火)21:12 ID:MErHqQ4k(6/10) AAS
ノーベル物理学受賞の真鍋氏は流石ですね。
でもマスコミは同氏がアメリカ市民という事情なのか
それほど取り上げられていないように思います。
何か特集番組がありましたか？
48: 2021/12/07(火)21:13 ID:3k8tzhfT(10/18) AAS
ニュースでも見なくなりましたね。
上下前次1-新書関写板覧索設栞歴
あと 179 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s