山下新四段実は最強将棋AIと最強チェスAIも開発していた (237ﾚｽ)
上下前次1-新
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
1: 09/12(金)08:00 ID:czQykxiJ(1/9) AAS
たややん 将棋AI水匠@tayayan_
山下四段は本当にすごいです。将棋AIの関係で、いつもお世話になっています。
水匠の学習においても、山下四段の書いたコードが動いています。
将棋AIに留まらず、最強チェスAIのStockfishも山下四段の工夫で強くなっています。
いつか、全てが詳らかになることを望んでおります！！
やねうら王@yaneuraou
山下数毅新四段、実はやねうら王のGitHubのコミッターでもあるんだよね…。
将棋情報局編集部@mynavi_shogi
山下数毅新四段の「四段昇段の記」の出だし。
いや、今回の新四段すごすぎんか・・・。
省3
218: 09/22(月)17:22 ID:1KCXCLph(1) AAS
IUT理論界隈が山下父の不正確な情報流してるならツッコまれて当然では?
証明の責任は流す側にあるけれど逆の事言ってたらもう…
219: 09/22(月)19:07 ID:Q+WpMRFU(2/7) AAS
宇宙人がいる可能性は0じゃいないよね、いないと断言はできないよね、と言うと宇宙人が存在することが確定するわけじゃない。この場合宇宙人が実際に存在することを証明しないといけない
「山下の研究室」って公式ページに書いてあるけど虚偽の可能性があるよね、虚偽じゃないと断言はできないよね、と言うと虚偽であることが確定するわけじゃない。この場合虚偽であることを実際に証明しないといけない。それが出来ないのならばソースとして認めないといけない
こんな簡単なことも分からないのかな
他の話題はいいから1つ1つ解決したらいい。この件についてはこれで解決とみていいわけね
あと、自分はIUT界隈じゃないけど、決めつけるのも論理的じゃないね。ソースはw
さらに付け加えると、IUT界隈だから言ってることの信用がないという論法はいわゆるad hominemで論理的に間違っている詭弁だからね。ストローマン論法がどうのと言ってるのにそんなことも知らないの？
220: 09/22(月)19:43 ID:/cBhLvRM(1) AAS
もう山下父論者はいらないから
将棋板から出てけよ
221(1): 09/22(月)20:15 ID:Pp8JIKXi(1) AAS
研究室HPもメンバーリストもない
UFOあると言ってる側は219の方だな
219の負け
222: 09/22(月)20:55 ID:Q+WpMRFU(3/7) AAS
>>221
メンバーリストが書かれてないことが研究室の存在を否定するものではない
虚偽であると証明しないといけない責任は虚偽であると言ってる側にあることは変わらない
やり直し
223(1): 09/22(月)21:03 ID:Q+WpMRFU(4/7) AAS
例えば京大数学教室の大学院生は
> （希望者のみ掲載）
とあり、おそらくプライバシーに配慮して希望者でないかぎり名前を載せていないようだ
外部ﾘﾝｸ:www.math.kyoto-u.ac.jp
224(1): 09/22(月)21:24 ID:peFgk6IX(1) AAS
そのHPすらないことはスルーか
構成員全員が知られちゃ困る研究室とはいったい
225: 09/22(月)21:35 ID:Q+WpMRFU(5/7) AAS
>>224
どういう理由で構成員の名前を載せていないのかは知らないが研究室の存在を否定するものではないね
そのページは大学院入試で山下研究室を考えている人むけに
研究室に配属になったあとの指導について書かれてあるから対外的にはそれで十分なのかもね
(>>223 で言ったようにプライバシーの配慮とかもあるのかもしれない)
工学部とかのように企業にアピールが必要な分野ではないようだし
それと、ちょっと心配しちゃうんだけど、そのページではっきり研究室案内をしているのに
研究室は存在しないと十分な根拠なく風説の流布をしていると名誉毀損罪とか
偽計業務妨害罪とかになるかもしれないよ
226: 09/22(月)21:42 ID:Q+WpMRFU(6/7) AAS
同じ京大数理解析研究所で同じ分野の数論幾何の玉川教授も研究室のページが見当たらないね
227: 09/22(月)22:06 ID:sklRUOlz(2/2) AAS
そもそも父の話スレチ
228: 09/22(月)23:17 ID:Q+WpMRFU(7/7) AAS
同じ京大数理解析研究所で別の分野だけど、大木谷教授(所長)、
大槻教授、緒方教授、小澤教授、小野教授、中西教授、並河教授、
牧野教授、望月(拓)教授も研究室のページが存在しないね
229: 09/22(月)23:18 ID:B5MbmyN1(2/2) AAS
本人そっちのけで父親の話がメインになることでしょうね
230(1): 09/22(月)23:59 ID:dRPtDx4h(1) AAS
研究室ない教授もいるなら講師で研究室持ちは厳しい
231: 09/23(火)00:06 ID:z1bkafbA(1/3) AAS
これまで山下アンチがしてきた捏造
◯山下がプルリクを通したstockfishについて
「大規模なテストをする計算資源に恵まれてないと土俵にたてない」「まず母数が少ない」(ここから「そして計算資源をぶん回せる環境があればガチャを回せる回数が多く一度当たりを引いただけ」との論を組み立てる)
→ 捏造。stockfish公式側が大規模なテストをする計算資源を提供している。2018年6月の時点で8億4千万回以上の対局、CPU時間を総計1200年以上使用していて母数も大きい
◯山下が通したプルリクについて
「Stockfishは完全に強くなったと確認できず、検証のためマージされただけ」
→ 捏造。統計的に有意にレーティング上昇が確認され検証が終了したのでマージされた。プルリクにも「検証のためマージ」とは一言も書かれていない。山下君の改良が統計的に有意にレーティング上昇が証明されたテストはこれ↓
STCテスト合格
外部ﾘﾝｸ:tests.stockfishchess.org
LTCテスト合格
省3
232(1): 09/23(火)00:06 ID:z1bkafbA(2/3) AAS
つづき
◯山下の出身地について「ノッティンガムなんてジュネーブより田舎」
→ 嘘。ノッティンガムの人口28〜29万人に対しジュネーブの人口20.5万人
◯「山下父に研究室は存在しない」
→ 嘘。公式ページに「山下の研究室」の文言がある。アンチはさらにその文言は虚偽だと主張したが十分な根拠はなかった。これは名誉毀損および偽計業務妨害の可能性がある
省8
233: 09/23(火)00:12 ID:z1bkafbA(3/3) AAS
>>230
そういう種類の一般論(それが正しいのかも不明だが)をいくら並べても公式ページに「山下の研究室」と書かれている(そしてそのページの内容が研究室案内である)のが虚偽であることを示す根拠にはならない
234: 09/23(火)01:39 ID:0NWJGSE5(1) AAS
だから話をそらすなって言ってるじゃんw
京大が組織体系として山下剛研究室を紹介しているページが存在しない、検索にも引っかからないのに山下剛研究室があるは無理筋でゴールもクソもない。特定のグループのトップとして主催しているわけでもなく話にならない
「思う」とか「常識」とか裏付けのないお気持ち表明はいいから客観的に確認できる山下剛研究室が存在するソースを出せよ
慣習が残っているのでは？ とか 「山下を指導教員に選ぶ」=「山下の研究室を志望する」という内容であり とか書いてもいないことをお前が「思ってる」だけだろｗ
大問題になるはずとかも勝手な推測でしかない。取り立たされていない可能性をなぜ否定できる？
そもそも先にこちらがずっと聞いている質問からなぜ逃げる？これのソースも結局出せないの？
1 専任講師と准教授はほぼ同じで両者ともに独立した自分の研究室をもつ
2 大学運営で出席する会議も同じはず
3 歴史的理由により違う名前になっているだけ
4 京大数理解析研究所の講師ならどの大学でも教授で迎えられるだろう
省1
235: 09/23(火)11:36 ID:pQNy+Z82(1) AAS
こいつやっぱIUT界隈じゃね？
マルチポストで山下関連のスレ荒らし
IUT理論はありまぁす！ の精神がにじみ出てて笑った
236: 09/25(木)18:12 ID:457Dfi0s(1) AAS
>>232
アンチのした捏造追加
◯「山下のStockfish改良は単なるバグフィックスだから大袈裟」
→ 捏造。単なるバグフィックスではなくちゃん新しいアイデアを出した上での改良。
◯「山下パパはコンピュータ将棋かなんかの放送で出てきて、将棋を科学論争の宣伝の場にした」
→ 捏造。同じ放送を見ていた人の話によると、山下父は一瞬だけ出てすぐに消えていて、科学論争の宣伝の場などにはしていない
省2
237: 09/25(木)22:55 ID:niwWncBW(1) AAS
コレmath_jin？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s