プログラミングが必修になる結果ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ

1 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:22:32.268 ID:XxzUfJGQM.net

https://i.imgur.com/cTMo4rV.jpg

こうなる模様

2 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:23:08.239 ID:6KQEJUOL0.net

バカ教師は教えられないから
まあそうなるわな

3 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:24:40.942 ID:xjHyCYBW0.net

化石？

4 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:25:08.539 ID:TeP2m+6z0.net

なぜベーシックなのかせめてC

5 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:27:31.603 ID:nkQSYpMD0.net

これって（フォートラン）と（コボル）が赤字になってないのは単にスペルを書かせてるだけってこと？

6 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:28:07.661 ID:fccWk2tta.net

MSX-BASICなら任せろ！

7 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:28:08.377 ID:HafeUPxf0.net

FORTRAN COBOLとか化石過ぎるだろ

8 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:29:15.122 ID:yANw6Dikd.net

そうじゃないと叫びたくなるな

9 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:29:33.357 ID:lzf0x3c90.net

草

10 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:30:47.126 ID:Nw2IkquA0.net

>>7
Fortranバカにすんな！
まだ研究機関で使われてるんだぞ！

11 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:30:54.726 ID:XsXFaK/P0.net

なりそうだなぁ。ムダの塊。才能を潰す教育だわ

12 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:32:59.720 ID:NQpZC/Gwd.net

IT業界のことよく知らんけど子供の頃に勉強した言語が大人になっても使えるくらい技術の進歩遅いのか？

13 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:37:04.317 ID:lBoRCsjEa.net

こんなプログラミング言語の用語覚えるくらいなら、法律の勉強とかさせた方が良いんじゃないの？

14 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:39:58.297 ID:Nw2IkquA0.net

2進法の筆算とか16進算盤とか作って弾かせた方がよっぽど計算機の理解になるぞ

15 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:41:17.248 ID:6KQEJUOL0.net

>>12
言語は変わってるかもしれないけど
基礎的な考え方はそんなに変わらない

16 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:42:22.135 ID:6KQEJUOL0.net

>>14
ハード屋は頭悪いよなあ

17 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:43:07.991 ID:711HHX5Z0.net

必修になるの言語じゃなくてアルゴリズムじゃないの？

18 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:44:48.798 ID:WgIb3vzt0.net

古びた情報教えてもなあ
理論じゃなければいずれ使えなることは承知で
新しいことを教えるべきだと思うけど
教える側のコストが大きすぎるのかな

海外ではどうなんだろ

19 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:46:13.600 ID:VAnyMBeLd.net

>>18
海外では早い段階の選択制授業が根付いてるから大丈夫なんじゃないか？

20 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:48:20.480 ID:LWaq0vVh0.net

アルゴリズムよりデータ構造が大事だぞ

21 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:48:33.606 ID:lBoRCsjEa.net

>>18
海外もたいして日本と授業の内容変わらないよ

むしろ

22 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:50:09.627 ID:WgIb3vzt0.net

>>20
優劣あるか？両方大事

23 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:51:03.577 ID:27vKMF9H0.net

>>20
そこの名称はどうでもいいのでは
ADTと具象を区別したほうが実際的

24 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:51:11.066 ID:gUezMZXd0.net

格闘技を座学オンリーで教えるようなもんだな
こんなんやらされたら、苦手意識を植えつけられてプログラミング嫌いになるぞ

25 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:51:44.569 ID:Nw2IkquA0.net

>>16
別にアセンブラとかC言語を子供にやらせろとか言ってるわけじゃないぞ
手段は兎も角真偽値が演算の基礎であることくらい教えておくべじゃないか?

26 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:52:03.399 ID:lBoRCsjEa.net

>>18
むしろ学力が高い国なんかは宿題を出さずに家に帰ったら外で木登りだとか子供は子供らしく遊ぶ事に重点置いてる
更に芸術(絵、音楽など)にも力入れてる

日本とかアメリカとか芸術をどんどん減らしてるの見て、学力高い国の教師は驚くらしい

本当に日本は意味の無い勉強というか、右ならえ右のサラリーマン教育しか出来てないと思う

まあこれはアメリカだけど、ビル・ゲイツがプログラミング言語を必修じゃなかったら勉強しなかったのかと言えば違うだろう
好きだから勝手にハマっただけの話し

27 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:52:53.223 ID:27vKMF9H0.net

>>25
お前はnandgameを遊んでこれより面白いゲームを作ってくれ

28 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:52:58.422 ID:6KQEJUOL0.net

>>25
2進法の筆算とか16進算盤はまったく必要ないな

29 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:54:55.237 ID:6KQEJUOL0.net

>>26
デマ流すなよカス
学力で言うと韓国・日本とかの詰め込み教育の国が高い

30 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:56:16.585 ID:lBoRCsjEa.net

まあ教育についてはマイケル・ムーアの世界侵略のススメって映画見てみると良い

他国から良い教育方法とか仕事の仕方とかを学んで(侵略して)アメリカを強くするって感じの話しなんだが、
マイケルが色んな国に実際に行って子供と一緒に給食取ったり仕事の仕方とか見に行く面白いよ

31 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:56:26.519 ID:Kp8bH2AN0.net

フォートランとCOBOLｗｗｗｗｗｗｗｗｗ

32 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:57:26.058 ID:Y1or0eM20.net

マジレスすると、海外から見ると英語も似たようなもんだぞ

33 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:57:31.146 ID:J+bnaBiN0.net

(3)「選択」のとこ「分岐」の方がしっくりこないか？
てか処理を選択させるなんて表現見たことないんだが

34 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:58:15.158 ID:lBoRCsjEa.net

中国なんかは海亀って言ってアメリカにどんどん留学させて、身に付けた技術を中国に持ち帰るみたいな事してる

海亀の留学生は身に付けた技術を使って起業しないか？など国から声がかかるらしい

35 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 13:58:39.539 ID:0u/8oicU0.net

FORTRANは最速

36 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:00:05.490 ID:VqLxUGal0.net

N予備校だっけ？
あそこのカリキュラムが評判良いらしいからそれに習えばいいじゃん

37 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:04:03.322 ID:lBoRCsjEa.net

>>29
>イタリアには8週間もの有給休暇があり、消化できなかった休暇は翌年に持ち越せる。昼休みは2時間。

>フランスの小学校の給食は、美味しそうなフレンチのフルコース。コカコーラなんてだれも飲んでいない。

>フィンランドの学校には宿題がない。なのに学力は世界一。

>よくスロヴァキアと間違われるスロベニアは、大学の授業料が無料。英語の講義も多いので、アメリカで授業料を払えなくなった若者たちがこの国に来て学んでいる。

>ドイツは週の労働時間がわずか36時間。退社後に上司が部下にメールや電話をすることは法律で禁じられている。
https://eiga.com/extra/sasaki/38/

38 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:04:14.713 ID:nm+rxX2k0.net

数学で論理学教えればよくね

39 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:05:35.355 ID:J+bnaBiN0.net

>>38
大学生でも分かってない奴多いのに無理だろ

40 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:05:38.073 ID:6KQEJUOL0.net

>>38
論理学は哲学定期

41 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:06:11.433 ID:gRjmBEuMM.net

>>40
一応数学の分野でもある

42 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:06:25.414 ID:6KQEJUOL0.net

>>41
無知乙

43 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:07:07.177 ID:27vKMF9H0.net

プログラミングの代わりに論理学ってなに教えるんだ？
シークエント計算？

44 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:07:50.272 ID:27vKMF9H0.net

というか数学Aで集合と論理教えてるよな

45 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:08:18.274 ID:pokWEVp+M.net

今の教育実習生ってパワポすら使えない奴がザラなのにプログラミングとかどうするんだろうな

46 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:10:44.424 ID:lBoRCsjEa.net

>>45
パワポなんか大企業主義がいけないんじゃないか？
そんなプレゼンを子供に見せて何を学ばせたいんだ？

身ぶり手振りで教えるからこそ子供は楽しそうと思うのだよ

47 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:11:34.755 ID:27vKMF9H0.net

ちなみに俺は論理学をつくるを半分解いたところでへとへとになってしまったので
人様に論理学をやれとは口が裂けても言えない

48 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:13:03.347 ID:gRjmBEuMM.net

>>42
数理論理学といって記号論理学は形式的だからZFCでも展開可能(例えばキューネン著「集合論」では集合論的にゲーデル数の概念を用いて定義される)
ただし記号論理学でやる言語はZFCのメタ理論に埋め込まれるように必ずしも数学の概念として扱う必要はなく哲学でやる論理学はこれ

49 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:14:43.926 ID:6KQEJUOL0.net

>>48
数理論理学≠論理学だから数理論理学という名前になってるんだが
自分で書いてて気付かないのが謎

50 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:15:15.283 ID:pokWEVp+M.net

>>46
パワポすら使えないのにどうやってプログラム教えるんだよ
ワードエクセルより簡単な紙芝居すら作れない無能だぞ
プログラミングを身振り手振りで説明するとかクソ以下だろ
計算と概念を表と図なしで教えるとか無能すぎてリコールされるわ

51 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:15:25.600 ID:27vKMF9H0.net

>>49
じゃあ論理学も哲学じゃないね
自分で書いてて気づかなかったのかな

52 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:16:44.387 ID:eYuhq+0kM.net

これでいいんだよ
マトモなプログラミング教育されて将来プログラマの雇用を奪われたら俺が困る

53 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:17:54.476 ID:6KQEJUOL0.net

>>51
もちろん論理学≠哲学だぞ
論理学⊂哲学だからな

54 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:18:25.679 ID:27vKMF9H0.net

>>53
アスペしてないでもう少し人の意図を汲む努力をしたらどうですか？

55 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:19:20.049 ID:ZdjHuTZtr.net

別に必修じゃない間にもプログラミングやる奴は出てきてるわけだしきっかけにはなるだろ

56 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:19:36.959 ID:6KQEJUOL0.net

>>54
論破されてレッテル貼りとは恥ずかしい奴だな
数理論理学≠論理学だと認めたんだろ？
え？

57 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:20:14.459 ID:27vKMF9H0.net

>>56
哲学の論理だと詭弁を使ってもいいことになっているんですね
初めて知りました

58 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:22:26.064 ID:gRjmBEuMM.net

>>49
一階述語論理のような言語を内包する理論が数学(ZFC公理系やペアノ算術)ってだけであまり違いはない
でないとZFC公理系を論理式の集合(勿論これはZFCから見てメタ理論のメタ理論における集合)として定義する一階述語論理を含むメタ理論が何であるかによってZFC公理系が変わってきてメタ理論に目を潰れなくなる

59 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:22:55.927 ID:6KQEJUOL0.net

>>57
逃げてないでさあ

数理論理学≠論理学だと認めたんだろ？
ちゃんと回答しような

詭弁レッテル貼るならどこが詭弁なのか明示しような
論理の欠陥を指摘できないでレッテル貼るとか論理弱過ぎる

60 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:24:07.228 ID:41g0jch1r.net

もちろん論理学≠数理論理学だぞ
数理論理学⊂論理学だからな

61 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:24:42.257 ID:27vKMF9H0.net

そもそもお前誰にどの文脈で話しかけてるの？
発達過ぎて人物が見分けられてないのかな？

62 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:27:45.255 ID:Nw2IkquA0.net

この仕事は将来にわたって子供に好かれることがなさそうだ

63 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:27:50.327 ID:gRjmBEuMM.net

「論理式の集合」の集合はメタ理論のメタ理論ではなくメタ理論の概念だな
例えばZFC公理系のメタ理論がZFC公理系であれば「集合」だし、ペアノ算術であれば集合と呼べるような何かしらのゲーデル数
哲学であれば「集まり」ということになる

64 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:28:04.584 ID:6KQEJUOL0.net

>>57
論理を学んだ人間なら
相手の論理の問題点を指摘できないくせに
相手の主張を詭弁呼ばわりするとか恥ずかしいことくらい知ってるぞ

65 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:29:09.972 ID:6KQEJUOL0.net

>>58
論理学が一階述語論理を含まないとか
無知すぎる勘違い野郎もいたもんだ

66 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:29:23.341 ID:27vKMF9H0.net

俺はスレタイに沿って学校で教えてる論理とプログラミング必修の話をしてるんだぞ
そしたらアスペが哲学！ｗ哲学！ｗと謎の発作を起こしたから後ろから頭を小突いてるだけ

67 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:29:43.945 ID:MMda1gsk0.net

今の小学校じゃなくて本当に良かった。
大好きなプログラミングが学校の授業を受けたら大嫌いになりそう

68 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:31:06.090 ID:6KQEJUOL0.net

>>66
んで、どこが詭弁なんだ？

相手の論理の問題点を指摘できないくせに
相手の主張を詭弁呼ばわりしちゃう恥ずかしいバカじゃんｗ

69 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:32:47.699 ID:gRjmBEuMM.net

>>65
数理論理学は一階述語論理をZFCやPAの、つまり数学の中の概念と考える
哲学はそうは考えず何かしら先立つものがあってその概念と考える
ということ

70 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:33:31.352 ID:Pyub0bB10.net

チンパンジー多いんだからこんなんやってる暇あったら道徳の授業した方がいいだろ
ショーシャンク観せてレポート書かせるとか

71 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:33:39.312 ID:6KQEJUOL0.net

>>69
は？
「何かしら先立つもの」って何？

72 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:35:18.668 ID:27vKMF9H0.net

>>68
> 論理学は哲学定期

> もちろん論理学≠哲学だぞ
> 論理学⊂哲学だからな

これについて自省することなく只々でかい声だけ出すんでしょ
自分の言いっぱなしだけは許しちゃうタイプの詭弁野郎だと受け取られても仕方ないよ

73 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:35:54.100 ID:27vKMF9H0.net

論理的に喋る以前の問題で誠実性に欠けるよね

74 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:37:59.305 ID:gRjmBEuMM.net

>>71
例えばZFCの中の一階述語論理において論理式の「集合」(一応説明しとくと公理とは論理式の集合のこと)とはフォン・ノイマン宇宙の元、つまりメタ理論において無矛盾性が保証され完全性定理から存在が認められるZFCのモデルの元、ということだが、
哲学で学ぶ論理学において論理式の「集合」とは「ものの集まり」であって、「それが何なのか」とは何故か共通認識を持てるような先立つ何かがある、としか言えない

75 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:38:42.229 ID:27vKMF9H0.net

まぁ僕はアスペじゃないので君の頭の中でどういう整合性が取れてるのかはなんとなく想像できるけど
発言としては支離滅裂だから直したほうがいいよ

76 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:39:06.342 ID:6KQEJUOL0.net

>>72
で、論理の問題点をさっさと指摘しような

「論理が数学の一分野」であるというアホ主張については
数理論理学⊂数学ではあるが
数理論理学≠論理学だという明らかな欠陥を明示してあるからさあ

77 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:40:03.106 ID:27vKMF9H0.net

>>76
僕はそんな発言一回もしてないんだけど
やっぱり他人の区別ができないタイプの障害を持った方？

78 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:40:32.370 ID:Iq5ptIHGa.net

ガチのスーパーハカー養成したいなら
ネット黎明期みたいなパズル付きエロサイト教育機関で運営すべき
マジで

学べば学ぶほどディープなエロに触れられるとか小中学生ハッスル間違いなしだろう

79 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:43:25.955 ID:6KQEJUOL0.net

>>77
「論理が数学の一分野」であるというアホ主張の問題点を指摘したレスに
横から割り込んで来たのはお前だけど

で、「論理が数学の一分野」という主張の欠陥を明示されて
欠陥を認識できた？

80 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:45:01.788 ID:imFbXDk6r.net

メモリ管理、出来てますか?

81 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:45:35.873 ID:27vKMF9H0.net

そうだね
横から割り込んできたのが気に入らなかったんだね
そうすると僕も論理学が数学の一分野と主張したことになるんだね
やっぱ自他の区別ができてない障害者じゃん
治療を受けろ

82 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:46:33.635 ID:6KQEJUOL0.net

>>74
前提となる公理が基礎となってるだけだぞ
その公理はどうして？には回答できねえだろ

あのさあ

83 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:48:20.840 ID:6KQEJUOL0.net

>>81
割り込んできたのが気に入らない
などとは一言も言ってないなあ

「論理が数学の一分野」であるというアホ主張の問題点を指摘したレスに
お前から割り込んで来たんだから
「論理が数学の一分野」であるというアホ主張についての話題だと当然認識してる訳だ

で、「論理が数学の一分野」であるというアホ主張について
お前は何が言いたいんだ？
え？
と聞いてるわけ

84 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:48:23.158 ID:3yneB9VZ0.net

>>78
スマホでググればいくらでも出てくるもんをなんでそんなことして手に入れなきゃなんねーんだよ

85 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:49:51.701 ID:Iq5ptIHGa.net

>>84
普通にスマホでググっても出てこないやつを餌にすればいいだろう
とりあえず同年代の裸を用意してやれ

86 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:50:13.517 ID:6KQEJUOL0.net

>>81
あとさあ
詭弁、詭弁と連呼してたけど
んで、どこが詭弁なのかさっさと明示しようやｗ

「論理が数学の一分野」であるというアホ主張の問題点は
ちゃんと明示してあるのに
お前はできないのかなあ
あれあれー？
ｗ

87 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:51:28.900 ID:27vKMF9H0.net

アスペがなんかまだグルグルパンチしてくるんだけどｗ
どうすんだよこれｗ
自分は不誠実な言いっぱなしをするくせに他人に無限の応答義務を課そうとしてくるｗ
これが治療対象でなくて何だというのかｗ

88 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:51:57.917 ID:gRjmBEuMM.net

>>82
公理は基礎として定める事実、って程度の認識で他分野なら何の問題もないけどね
(数理論理学を含む)論理学を本当に院で専攻してるくらいの初学者がよく疑問として抱くものとして、「ZFC公理系は一階述語論理によって書かれるけど、一階述語論理を勉強すると公理を論理式の集合として定める。
集合とはZFCの概念で、此れ循環してない？」っていうのがあるんだけど、
そもそもこれに回答できるレベルでないと一階述語論理がどういう立場なのか全く理解できないと思う

89 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:53:47.873 ID:6KQEJUOL0.net

>>87
論理的なレスが返せなくなってみっともない悪口連呼とは呆れたもんだｗ

「論理が数学の一分野」であるというアホ主張についてのやり取りに
横から割り込んで来たけど擁護に失敗ｗ

で、詭弁、詭弁と連呼したくせに
問題点は明示できない醜態を晒すｗ

90 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:53:53.427 ID:gLamJNvk0.net

>>85
クラスメイトのエロ画像なら本気で勉強するわ

91 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:54:41.384 ID:LKeQY0fYd.net

なんか面白い話してんね
数学科でやるのも哲学科でやるのもどっちも形式論理学（数理論理学）でしょ？
非形式論理学（討論学とか？）はあんま哲学科でやる内容ではない気がするが

92 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:55:00.092 ID:6KQEJUOL0.net

>>88
「分野なら何の問題もないけどね」
はいダウト

論理の基礎は何かというのは
哲学の世界じゃ何千年も前から検討されてるよ

93 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:55:14.532 ID:/x/9xPLa0.net

パソコン使ってプログラミングしないんだ･･･あ、予算無いのか

94 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:56:27.399 ID:27vKMF9H0.net

なぜ「じゃあ論理学も哲学じゃないね」という発言で話に割り込むと応答義務が生じると思っているのか
アスペルガーの考えることは本当にわからない

95 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:56:31.947 ID:LKeQY0fYd.net

>>92
ギリシャからフレーゲ辺りまで大分停滞してる感ない？

96 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:56:35.213 ID:dzgLU/tq0.net

プログラミングなんて全然やれないからよく分からないんだけどさこんなテストをやるより目的を与えてそれを実現するプログラムを組ませるテストをした方が良いんでないの？

97 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:56:39.485 ID:cid/zbVR0.net

プログラミング必修はマジで悪手
んなもんより英語をもっとちゃんと学ばせろ

98 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:58:29.456 ID:3+YYit5na.net

>>90
やるわなーそりゃ
学年全員分のオナニー動画用意するくらいは最低限整えてほしい

なおデータで渡すと一瞬で拡散して意味なくなるだろうし批判轟轟だろうから
それ系データ入った独立マシン部屋の入室キーとかで考える

99 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:58:58.502 ID:6KQEJUOL0.net

>>95
停滞してるからといって

論理の基礎は何かというのが検討されていないことにはならないからねえ
実際、はるか昔から課題として認識されてたから

この辺りのやり取りも非論理的だと感じる

100 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:59:00.746 ID:gRjmBEuMM.net

>>91
授業としてはどちらも形式論理学だな
ただ数理論理学の研究の立場上、形式論理学は数学でなければならないし、だから形式論理学が完全に数とか集合として表現される
>>92
その下の文章は読んだ？

101 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:59:19.486 ID:LKeQY0fYd.net

>>97
英語習熟すると放っておいても勝手にネットで学んで行きそう感はあるよね

102 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 14:59:59.582 ID:6KQEJUOL0.net

>>94
だからさ、お前は何を主張したいの？
ｗｗｗ

詭弁、詭弁と連呼したくせに
問題点は明示できない醜態を晒すｗ

「論理が数学の一分野」であるというアホ主張の擁護には失敗ｗ

103 ：暗黒龍デスフェニックス ：2019/11/10(日) 15:00:07.825 ID:EYeOuh/f0.net

え、これがプログラミングの勉強なん？ｗ
草ァ！ｗ

104 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:00:39.867 ID:LKeQY0fYd.net

>>99
その基礎であるギリシャの時代も（というかむしろその時代こそ）哲学と数学の垣根なんて薄かった気がするが
ほとんどの連中が兼任でしょ

105 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:00:44.073 ID:6aTsr6ia0.net

畳の上の水練ってやつ？

106 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:01:13.957 ID:F0EXLPNrd.net

>>102
お前の負けだぞ

107 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:01:42.598 ID:yuGwrWQJM.net

算数をプログラムで解かせるようにするとかじゃないのかよ

108 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:01:50.485 ID:vym6DVpG0.net

こんなのよりも法律とか生理学とかそういうのを教えたほうがよっぽど良いと思うんだけどなぁ

109 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:01:52.058 ID:6KQEJUOL0.net

>>100
間違った認識に基づく主張をされてもさあ
あのさあ

110 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:02:47.005 ID:6KQEJUOL0.net

>>106
ID変えての工作乙ｗｗ

どこが負けてると言いたいのか
論理的にどうぞｗ

111 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:04:54.352 ID:gRjmBEuMM.net

>>109
何千年も前から検討されてる、って言うが
ZFC公理系が一階述語論理で書かれてこの一階述語論理はどの立場なのか、っていうのはもう数学、哲学でメタ理論の概念を使った定説としてあるわけだが、そもそもそれは知ってる？

112 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:05:30.926 ID:LKeQY0fYd.net

てかID:6KQEJUOL0があんまよく知らんだけで哲学でやるような論理をまさに数学でやってるんだよなぁ

113 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:05:37.080 ID:27vKMF9H0.net

ほんとこいつ甘ったれだな
さっき言ったことも忘れてるし幼稚過ぎてびっくりするわ

114 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:05:42.439 ID:tzQqnulFM.net

え？マジ？
まだhtml触らせた方がマシ

115 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:07:51.237 ID:X4dJEu4f0.net

うわ意味ねえ

116 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:07:52.306 ID:sac2MWzO0.net

20年前「これからはjavaだ！」
今「これからはjavaだ！」

117 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:11:44.102 ID:imFbXDk6r.net

>>113
昔喧嘩した助教の人もこんな感じの人だったなあ
アカデミックな人ってこういう人多いのかねえ...

118 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:13:05.577 ID:LKeQY0fYd.net

>>117
いや、むしろID:6KQEJUOL0はアカデミックな世界からは縁遠い人でしょ…

119 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:18:36.105 ID:imFbXDk6r.net

まあその助教も他の学生の首締めて解雇されたんだけどね

120 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:32:55.146 ID:ePxOowEs0.net

こんな脳死で用語だけ覚えさせるのがプログラミング教育？

121 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:34:08.570 ID:5Wrp+4/ha.net

国語かな

122 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:35:06.819 ID:KfRhiuo/a.net

なんか日本らしいな

123 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:39:48.180 ID:fIw3H8Jwa.net

きっとこれは最初の方で終盤になれば30行以内で以下の内容を満たすプログラムを書けみたいな難易度になるはず

124 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:49:40.020 ID:bZKAeHIz0.net

日本じゃラズパイみたいなの作って教育現場に広められるって人材居ないんだろうな

125 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 15:54:12.203 ID:nm+rxX2k0.net

俺の雑な発言のせいで迷惑かけてすまん

126 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 16:13:20.825 ID:olGB4ag1a.net

プログラムのロジック勉強じゃないのかよ

127 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 16:14:46.428 ID:6pn+LdDg0.net

プログラミング教育って下層の土方増やしたいだけだよな

128 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 16:16:05.250 ID:W6lbR5uZ0.net

Scratchじゃねーの？

129 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 16:22:10.437 ID:+L7O74G80.net

理論が分かれば後は応用だから土台をしっかり作る為にこういう勉強はしといた方がいい

130 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 16:28:01.066 ID:2JOy+0Lmd.net

狙いはnecあたりの景気がオリンピック終了でおわたーしたときに
新たな税金の流用先を確保すること学校に馬鹿みたいに高い低スペックpcを買う口実を作ること
教育内容なんてはなからどうでもいいのよ
まぁ>>1みたいなぶっ飛んだ使えない内容でも脳無しfuckinJapならありがたがってくれるよ今までもそうしてきたんだし
英語でiterate,conditionとかcomp scienceで使いそうな単語を網羅した単語集のほうがまだ使えそうだがな(´・ω・｀)

131 ：以下、？ちゃんねるからVIPがお送りします：2019/11/10(日) 17:00:41.438 ID:uNBfGv/ua.net

>>130