山下新四段実は最強将棋AIと最強チェスAIも開発していた

1名無し名人
垢版 |
2025/09/12(金) 08:00:23.90ID:czQykxiJ
たややん 将棋AI水匠@tayayan_

山下四段は本当にすごいです。将棋AIの関係で、いつもお世話になっています。
水匠の学習においても、山下四段の書いたコードが動いています。
将棋AIに留まらず、最強チェスAIのStockfishも山下四段の工夫で強くなっています。
いつか、全てが詳らかになることを望んでおります!!


やねうら王@yaneuraou
山下数毅新四段、実はやねうら王のGitHubのコミッターでもあるんだよね…。


将棋情報局編集部@mynavi_shogi
山下数毅新四段の「四段昇段の記」の出だし。

いや、今回の新四段すごすぎんか・・・。

=================
「Stoatの開発について」
私は現在、将棋エンジン「Stoat」の評価関数(NNUEネットワーク)の学習を担当している。Stoatのメイン開発者はUK在住のCiekceさんで、彼との出会いはStockfishのDiscordサーバーだった。参加したばかりの頃、興味本位で「shogi」と検索すると、将棋エンジンを開発している人を見つけた。それがCiekceさんだった
2025/09/15(月) 00:04:47.80ID:rzuG1znZ
>>126
給料も別格なのですか?
2025/09/15(月) 00:36:20.48ID:B601PxOG
そもそも数学科教授などの大学のポストがそれ以外の分野と比較するととても少ない。
秀才の上澄みが集まっているわりには身分的にはなかなかポストに就けず報いられない業界だね。

京大数理解析研究所といえば中嶋啓が居たような。実は高田尚平七段とは麻布高校の同期。
彼くらい上れればほんとたいしたものだが、なかなかねー
2025/09/15(月) 08:36:06.70ID:cPTgEM7N
上が居なくならない限りポスト空かないケースが多いしね
昇進したいなら粘り強く機会を待つか他の組織に応募するしかない
2025/09/15(月) 08:41:40.76ID:pqYj5y1A
下手に昇進すると研究以外の業務が増えるので研究に専念したい人は昇進を拒むという人が一定数数学社会にはいる(そういう文化がある)ようなので山下御尊父もそれかもしれない
133名無し名人
垢版 |
2025/09/15(月) 08:44:36.91ID:FcBhPVbi
数学研究もAIに置き換えられるだろうし、棋士と似たようなもんになる
2025/09/15(月) 08:48:42.11ID:pqYj5y1A
>>128
科研費で検索して調べてみたけど、申請の代表者じゃないだけでずっともらっているじゃん
複数の研究テーマからもらっている年度も多い
2025/09/15(月) 10:53:41.56ID:BlUArGhI
昔は講師は主流から外れてる印象があったが今は違うのかな
2025/09/15(月) 11:01:54.49ID:fbmFyZmi
京大数理解析研究所のテニュア教員なんて雲の上の存在で大成功中の大成功なのに「アカデミアでもあまり成功しているとは言えない気がする」って言いがかりが酷すぎる
2025/09/15(月) 11:58:27.93ID:B601PxOG
数学者の業界は他所と比べたら甚だ質素だから、
世俗的な年収とか肩書きを会社員等と見比べて「成功してない」とか簡単に言われちゃうのはなんだかだよな
2025/09/15(月) 12:23:59.49ID:tg+yDwOA
山下の父親って何歳なの?なぜか学部とかの詳しい経歴が見つからない
年齢的に講師止まりは成功と呼べない可能性も高そう
2025/09/15(月) 13:30:09.62ID:fbmFyZmi
専任講師と准教授はほぼ同じで両者ともに独立した自分の研究室をもつし大学運営で出席する会議も同じはず。歴史的理由により違う名前になっているだけ

京大数理解析研究所の講師ならどの大学でも教授で迎えられるだろうけど、本人にはその気がないんだろう。授業の義務がなく研究に専念できる特別なポストだから。年収とか肩書とかそういう世俗的な価値観とは無縁なんだろう。まさに数学者
2025/09/15(月) 13:54:53.13ID:e0J4AAaO
>>139
これのソースは?
山下研究室があるとでも言うの?


専任講師と准教授はほぼ同じで両者ともに独立した自分の研究室をもつし大学運営で出席する会議も同じはず。歴史的理由により違う名前になっているだけ
京大数理解析研究所の講師ならどの大学でも教授で迎えられるだろうけど
141名無し名人
垢版 |
2025/09/15(月) 13:57:46.39ID:8CqX49gm
んで、山下乳の業績って何?
望月と同僚、なだけ?
2025/09/15(月) 14:06:14.67ID:fbmFyZmi
>>140
大学院入試の募集書類を調べてみたけど、山下父の研究室を選ぶことができるようだね
2025/09/15(月) 14:19:43.06ID:e0J4AAaO
>>142
探したけど山下父の研究室を選べると書いてある情報が見つからない
URLと該当箇所を具体的に教えてほしい

あとそれ以外の部分のソースも出して欲しい
2025/09/15(月) 14:42:23.75ID:fbmFyZmi
>>143
これ↓が大学院入試の受験生が提出する書類の様式で、
そこの(2)で希望する研究室を選ぶようだ
その選ぶリスト(リンク先)に山下父の名前がある
(助教(昔の助手のこと)の名前はリストになく講師・准教授・教授のみ選べるリストにある)
https://sci.kyoto-u.ac.jp/sites/default/files/2025-04/05_mathematical%20sciences_5W7E)g%7BS.pdf

また、本人の公式ページでも「山下の研究室」と書かれてある
https://www.kurims.kyoto-u.ac.jp/~gokun/tostudents.html
2025/09/15(月) 15:11:17.91ID:e0J4AAaO
>>144
>そこの(2)で希望する研究室を選ぶようだ
研究室を選ぶなんて書いてないけど、指導教員かどうかと研究室を持っているかは違うぞ
それに本人が自称していようが客観的に山下研究室が存在しないならむしろ山下の問題点になる

あと他の部分のソースも出してほしい
2025/09/15(月) 15:22:21.24ID:fbmFyZmi
>>145
指導教員=所属する研究室のボス
指導教員を選ぶ=所属する研究室を選ぶ
これ常識

もしご本人が大学の公式ページの大学院入試に関連する事柄で
虚偽のことを書いていたら大問題になって懲戒とかされるよ
言いがかりもそのぐらいにしときな
2025/09/15(月) 15:30:37.38ID:e0J4AAaO
>>146
常識じゃなくてあなたの感想でしょ
きちんとソース出して

実際に山下研究室が存在していないのに存在しているかのように振る舞うのはおかしいから問題になってもおかしくないだろ
研究室として存在するソースがなければ何も説得力がない

これのソースも結局出せないの?

>専任講師と准教授はほぼ同じで両者ともに独立した自分の研究室をもつし大学運営で出席する会議も同じはず。歴史的理由により違う名前になっているだけ
京大数理解析研究所の講師ならどの大学でも教授で迎えられるだろうけど
2025/09/15(月) 15:39:27.36ID:fbmFyZmi
昔は大学は講座制といって教授の講座に助教授・講師がいて助手がいてという組織だった。
2007年ごろに講座制が解体され助教授も講師も教授の講座のもとにいる研究者じゃなく
独立した研究室をもつようになった(そのため「助教授」じゃなく「准教授」と名前が変わった)
助手は助教と名前を変え、これも教授の講座のもとじゃない研究者となった
(そのため「助手」じゃなく「助教」と名前が変わった)が自分の研究室はもてず、
大学院入試で選べる指導教員の選択肢にはない

こういうのはちょっと検索して調べたら分かるよ
2025/09/15(月) 15:42:43.51ID:e0J4AAaO
>>148
話をそらさないで
裏付けのないあなたのお気持ち表明はいいから客観的に確認できるソース出して

これのソースも結局出せないの?

>専任講師と准教授はほぼ同じで両者ともに独立した自分の研究室をもつし大学運営で出席する会議も同じはず。歴史的理由により違う名前になっているだけ
京大数理解析研究所の講師ならどの大学でも教授で迎えられるだろうけど
2025/09/15(月) 15:43:42.93ID:fbmFyZmi
>>147
> 実際に山下研究室が存在していないのに存在しているかのように振る舞うのはおかしいから問題になってもおかしくないだろ

だから、もし山下研究室が存在していないなら大問題になって懲戒とかになるはずだけど現実はそうはなってないよねって話なんだけど
2025/09/15(月) 15:48:18.37ID:e0J4AAaO
>>150
だから話をそらさないで
裏付けのないあなたのお気持ち表明はいいから客観的に確認できるソース出して

これのソースも結局出せないの?

>専任講師と准教授はほぼ同じで両者ともに独立した自分の研究室をもつし大学運営で出席する会議も同じはず。歴史的理由により違う名前になっているだけ
京大数理解析研究所の講師ならどの大学でも教授で迎えられるだろうけど
2025/09/15(月) 16:37:23.46ID:GEMZKFL0
レスバしてんのもしかして同一人物?
丁度いいレベルで意気投合しちゃってんじゃん
153名無し名人
垢版 |
2025/09/15(月) 16:51:57.07ID:shfOfzVY
IUT界隈はXのmath_jinみたいに望月や山下父のアレな追っかけもいるからまともに相手しなくていいと思う
マンセーする思考回路を理解できると思わないほうがいい
154名無し名人
垢版 |
2025/09/15(月) 18:48:19.52ID:9M5nZrKu
>>40
木村義徳は文系の学術性はあった
155名無し名人
垢版 |
2025/09/15(月) 18:50:12.14ID:9M5nZrKu
>>59
囲碁では3人いる
156名無し名人
垢版 |
2025/09/15(月) 19:23:26.22ID:CK3VWRAH
ただ山下スゲー言っているだけなのに叩き棒叩き棒とか発狂している奴何なん
いつも自分たちが藤井を叩き棒にして全棋士叩いているから他人もそうだろうとか思っちゃうんだろうな、可哀想な人間
2025/09/15(月) 20:21:25.58ID:5sdISAXN
新四段に絡めてIUT系の権威付けのような不自然な書き込みがあるね
158名無し名人
垢版 |
2025/09/15(月) 20:37:08.23ID:EM8v5xZz
>>156
やめたれw
2025/09/15(月) 21:21:08.53ID:uwWvnB46
情報源なしでここまでイキる人が存在するのか
2025/09/15(月) 21:52:36.69ID:EN9EF2Ht
宇宙なんたらって理論、最終的にオワコン扱いされて世界の数学界から見捨てられてたんか
それでいて通信制高校で教えるとか意味不明
山下くんは変なのと切り離して将棋だけさせてやってくれ
2025/09/15(月) 22:15:46.52ID:ig+wa5Ty
山下親父はあの見た目というか雰囲気で凄そうに見えてるだけで数学者として実際どれぐらい凄いのかは誰も説明できない

>>152
モッチー・ショルツ論争のオマージュのつもりなんかな
2025/09/16(火) 01:33:25.42ID:wGpSakIo
頭おかしいソース連呼厨が暴れているな。ソースがないとダメってのは自分が勝手に作ったルール。そのうえ公式ページの記述すら疑うのならどんなソース出しても無駄

「大学公式ページで問題になる虚偽の記載をしているのではないか」というほとんどあり得ないことを前提にしないと成り立たず、「論理的には限りなく小さい可能性が残っている」程度のものなのに、0か1かの思考をしちゃって、極めて小さい可能性でも残っているのならそれは1だとみなすアホ。今日隕石が降ってきて地球が滅亡する可能性は可能性だけならあるだろ、0じゃないだろ、と言ってるのと同じ。公式ページで虚偽言ってる可能性があるだろ、可能性だけならあるだろ、という論法。可能性の重みをつけないで0か1かで考えるのはよくある詭弁

この場合、公式ページに問題ある虚偽を書いていると主張するなら、それを主張する側にそれを証明する責任が発生する。通常は公式ページの間違いなんて疑わないものなので、疑うのであれば十分な根拠がないといけない。その説明責任を果たさないで相手に押し付けているからおかしなことになっている。「嘘をついている」と言う側がそれを証明しないといけない。小さな可能性を主張するなら、「その小さな可能性が現実に起きている」ことを示す責任が発生する。可能性だけならあるだろ、はその責任を果たしていない
2025/09/16(火) 01:47:01.99ID:wGpSakIo
大学公式ページに書かれてあれば普通はそれがソースになって話は終わり。けれども頭のおかしい人がその記述は嘘の可能性があるだろ、と言って嘘であることを証明もせず言いがかりをつけてゴネてるだけ。ソースを出してもそれをソースと認めないでソースがないソースがないと言ってるだけ
2025/09/16(火) 02:03:28.08ID:OEixMD5R
山下研究室と大学が呼ぶページ出せなければソース無しにしかならんよ
IUT界隈は妄想ゴリ押しでマジでやばい人達にしか見えなくなってきた
2025/09/16(火) 04:26:27.25ID:QdiM157O
やたらIUTを連呼してる人いるけど一々それと結びつける必要ある?
いかにも党派的な主張にしか思えないしIUTなるものを批判したいなら数学板でやってよ
2025/09/16(火) 05:20:52.85ID://2d+3fT
math_jinとかそういうのがいる界隈だからしかたないな
山下父を無理矢理礼賛する変なのが湧いちゃうとツッコまれるわけだ
2025/09/16(火) 07:53:02.27ID:Ke04ZXO2
界隈の人達が全く関係ない将棋板の息子のスレまでやってきて荒らしてる訳か
2025/09/16(火) 07:53:33.28ID:Ke04ZXO2
>>158
死ねよ自演ゴミ
2025/09/16(火) 08:11:55.67ID:wGpSakIo
大学院入試の書類を見ても「研究室」の文字は一切ないね。数理解析研究所のページにも「研究室」の文字はない。「研究室一覧」もない。なので大学のページに「研究室」の文字がなければ研究室の存在を認めないのというのであれば、数理解析研究所のすべての教授が研究室をもっていないことになる。これだと「どういう条件を達成したら研究室の存在を認めるのか」が不明。つまりこの状態だと「ゴール」がない

>>148 で述べられてあるような講座制の解体により、オフィシャルには「研究室」という単語は数理解析研究所ではもう使わなくなり慣習が残っているという状態なのかもしれない
2025/09/16(火) 08:43:07.51ID:rJdOxrWn
「指導教員」=「研究室を持っている」
に対して懐疑的である以上、公開情報ではもう無理だね
個々の指導教員が研究室を持っているのか、京大に聞くしかない
2025/09/16(火) 08:47:31.19ID:wGpSakIo
上の山下父ページを見ると、「山下を指導教員に考える学生」に対して「山下の研究室に興味を持ってくださりありがとうございます」とあるので普通に考えたら「指導教員を選ぶこと」が「研究室を選ぶこと」を意味していると思う(大学院入試の書類でも「志望する研究室」がなく「志望する指導教員」のみがある)。

そのあとの「大学院入学後の指導方針」の部分も内容的には山下研究室に配属になった学生にどういう指導するかの内容で、「その後、テーマを見つけて研究をしてもらい、基本的に週1回程度のセミナーで研究の進捗について発表してもらう」というのは通常の常識では山下研究室に所属していることを意味しているように思える。別の研究室に所属している人に「テーマを見つけて研究をしてもらい、基本的に週1回程度のセミナーで研究の進捗について発表してもらう」とは言わない。(例外的に別の研究室に所属しながらそのようなことをする人もいるかもしれないが、これは大学院入試の受験生全般に対する文章である。)

ここまで込みで全て虚偽というのは考えずらい。大学ドメインの公式ページでそんなことしたら絶対に大問題になっているはずだ。以上のことより、現場では「指導教員を選ぶ」=「研究室を選ぶ」というものになっていると思われる
2025/09/16(火) 08:58:57.63ID:rJdOxrWn
全くもってその通りで「山下研」や、それに相当する別名のグループは存在して然るべきだが、
指導教員は研究室を持つという一般論を否定するような人は、当事者によって事実が示されない限り難癖をつけてくるだろうね
まぁ多くの人は明らかにあなたが正しいと思っているでしょう
2025/09/16(火) 10:17:07.17ID:/Yys1nfx
永瀬拓矢の降級・棋戦敗退を願うスレ32
https://mevius.5ch.net/test/read.cgi/bgame/1742658335/

491 警備員[Lv.157][UR武][UR防][苗] (ワッチョイ 6ba3-kPk+) sage 2025/05/08(木) 16:19:55.10 ID:pkrEL3D00
イケメン拓矢が露天風呂に入る時の、あのズル剥けの息子をブルンブルン揺らせてノッシノッシと歩く姿が格好ええと思う

492 警備員[Lv.157][UR武][UR防][苗] (ワッチョイ 6ba3-kPk+) sage 2025/05/08(木) 16:29:24.45 ID:pkrEL3D00
んー、敢えて言えばアレもかな
イケメン拓矢が露天風呂から出る時の、あのズル剥けの息子をブルンブルン揺らせてノッシノッシと歩く姿も格好ええと思う

500 警備員[Lv.99][UR武][UR防][苗] (ワッチョイ 6be5-kdh2) sage 2025/05/08(木) 20:30:51.58 ID:pkrEL3D00
明日名人戦第3局てハードスケベ汁すぎるな
ナンボ天才拓矢がズル剥けのイケメンやいうても、パフォーマンスに多少影響出そうな気はする

607 痛いチンポ婆はNG登録でOK 警備員[Lv.11][UR武+2][UR防][苗] (ワッチョイ c33b-Aiq1) sage 2025/05/13(火) 21:08:51.58 ID:kNwn91vg0
いやーズル剥けデカマライケメン拓矢、今日も強すぎたな
とにかく安定感あるわな、うふふふふハハハハハ(笑)!うふふふふハハハハハ(笑)!

623 痛いチンポ婆はNG登録でOK 警備員[Lv.15][UR武+2][UR防][苗] (ワッチョイ a3ba-Vbs9) sage 2025/05/14(水) 15:10:40.78 ID:sNHmjDKX0
余りにも強すぎて応援するまでもないんかな
ズル剥けデカマライケメン拓矢の、その圧倒的な勝ちっぷりに皆んな驚嘆してるというか
https://mevius.5ch.net/test/read.cgi/bgame/1747081720/328-345
2025/09/16(火) 10:17:17.92ID:/Yys1nfx
641 痛いチンポ婆はNG登録でOK 警備員[Lv.25][UR武+2][UR防][苗] (ワッチョイ 138f-Vbs9) sage 2025/05/17(土) 15:29:19.49 ID:AHumFCCS0
>>
YouTubeまでしっかりチェックしてて偉いな
ズル剥けデカマライケメン拓矢ファンの鑑やわ

688 痛いチンポ婆はNG登録でOK 警備員[Lv.28][UR武+2][UR防][苗] (ワッチョイ b301-s9ZQ) sage 2025/05/18(日) 23:19:17.82 ID:ftqMYN8w0
いやー
カリスマカリ高ズル剥けデカマラ絶倫天才イケメン拓矢、むちゃくちゃ強かったな
恐れ入りました

699 痛いチンポ婆はNG登録でOK 警備員[Lv.29][UR武+2][UR防][苗] (ワッチョイ e7e5-s9ZQ) sage 2025/05/19(月) 20:02:31.89 ID:5xuLpr/G0
>>
>>
名人戦という七番勝負の中ではそうかもしれんけど、土壇場でアレをひっくり返した根性と粘りには度肝抜かれたわ
その意味ではカリ高カリスマ絶倫ズル剥けデカマラ天才イケメン拓矢も、もはや人間を捨てとるなと思わされた

高田 12
https://mevius.5ch.net/test/read.cgi/bgame/1746572982/
【あ、】フリクラ
https://mevius.5ch.net/test/read.cgi/bgame/1755005005/
あ、ロッテ 森内 辛ラーメン
https://mevius.5ch.net/test/read.cgi/bgame/1755535951/
痛いチ●ポ婆はNG登録でOK(弱男荒らし)苦情スレ
https://mevius.5ch.net/test/read.cgi/bgame/1754634000/
弱者男性 ☗将棋部
https://mevius.5ch.net/test/read.cgi/bgame/1748069543/
最新のAIに三浦スマホ事件を推理してもらってみた
https://mevius.5ch.net/test/read.cgi/bgame/1754731947/
知的障がいと将棋の親和性
https://mevius.5ch.net/test/read.cgi/bgame/1750487380/

高田と渡辺を応援しタクニキと森内と三浦をディスる下品な似非関西弁のデカマラ禿男
175名無し名人
垢版 |
2025/09/16(火) 10:20:11.46ID:/VpCvzox
永瀬拓矢の降級・棋戦敗退を願うスレ32
https://mevius.5ch.net/test/read.cgi/bgame/1742658335/

828 痛いチンポ婆はNG登録でOK 警備員[Lv.52][UR武][UR防][苗] (ワッチョイ bbdd-f7ze) sage 2025/05/31(土) 10:42:06.10 ID:RUp4Ae9g0
まァ、あれだけ際どい勝負が出来たんやから日に日に強くなってることを実感してるんやろな
テンションが上がって明日斗の顔面に射精するのも、最近のデカマラ拓矢なら頷ける話

840 痛いチンポ婆はNG登録でOK 警備員[Lv.53][UR武][UR防][苗] (ワッチョイ bbdd-f7ze) sage 2025/05/31(土) 18:17:14.67 ID:RUp4Ae9g0
デカマラ汁だく拓矢がホンマに食べ残したかどうかは分からんし,何とも言えんよな
食べ残しを明日斗が全部さらえた可能性もあるし

841 痛いチンポ婆はNG登録でOK 警備員[Lv.53][UR武][UR防][苗] (ワッチョイ bbdd-f7ze) sage 2025/05/31(土) 18:28:58.81 ID:RUp4Ae9g0
明日斗もデカマライケメン汁だく拓矢みたいに強くなりたいやろし、あのイケメンに憧れてるのもあるやろし
そう考えると、少し唾液の残った拓矢の箸やスプーンをそのまま使た可能性も少しはあるんかな?そこはちょっとチンポ婆には分からんけど
176名無し名人
垢版 |
2025/09/16(火) 10:20:21.54ID:/VpCvzox
844 痛いチンポ婆はNG登録でOK 警備員[Lv.53][UR武][UR防][苗] (ワッチョイ bbdd-f7ze) sage 2025/05/31(土) 20:05:04.32 ID:RUp4Ae9g0
>>
38角から馬作ったやつな、手厚いけど手順に飛車を6筋に移動させた意味もあるし微妙なとこやったな
そのあとの6筋の攻防がさすが七冠神よ、拓矢自慢のデカマラも萎える展開にさせられたわな

845 痛いチンポ婆はNG登録でOK 警備員[Lv.53][UR武][UR防][苗] (ワッチョイ bbdd-f7ze) sage 2025/05/31(土) 20:08:43.35 ID:RUp4Ae9g0
>>
なんぼモテモテや言うても、デカマラ拓矢が女性に対してそんな酷いことはやらんと思うな
前戯はもちろん後戯まで丁寧で優しいとかいう噂やし

高田 12
https://mevius.5ch.net/test/read.cgi/bgame/1746572982/
【あ、】フリクラ
https://mevius.5ch.net/test/read.cgi/bgame/1755005005/
あ、ロッテ 森内 辛ラーメン
https://mevius.5ch.net/test/read.cgi/bgame/1755535951/
痛いチ●ポ婆はNG登録でOK(弱男荒らし)苦情スレ
https://mevius.5ch.net/test/read.cgi/bgame/1754634000/
弱者男性 ☗将棋部
https://mevius.5ch.net/test/read.cgi/bgame/1748069543/
最新のAIに三浦スマホ事件を推理してもらってみた
https://mevius.5ch.net/test/read.cgi/bgame/1754731947/
知的障がいと将棋の親和性
https://mevius.5ch.net/test/read.cgi/bgame/1750487380/

高田と渡辺を応援しタクニキと森内と三浦をディスる下品な似非関西弁のデカマラ禿男
2025/09/16(火) 10:23:01.34ID:wGpSakIo
アンチが涙目逃走してるww
178名無し名人
垢版 |
2025/09/16(火) 12:04:52.02ID:DoGDwhmE
わかりやすい自演に草
もう宗教だろこれ
2025/09/16(火) 12:56:54.82ID:hBc5LCan
だから話をそらすなって
京大が組織体系として山下剛研究室を紹介しているページが存在しない、検索にも引っかからないのに山下剛研究室があるは無理筋
「思う」とか「常識」とか裏付けのないお気持ち表明はいいから客観的に確認できる山下剛研究室が存在するソースを出せよ

これのソースも結局出せないの?

>専任講師と准教授はほぼ同じで両者ともに独立した自分の研究室をもつし大学運営で出席する会議も同じはず。歴史的理由により違う名前になっているだけ
京大数理解析研究所の講師ならどの大学でも教授で迎えられるだろうけど
2025/09/16(火) 13:19:15.35ID:Y/ss+paA
AIに聞いてみた
京都大学数理解析研究所には山下剛講師の研究室はありますか


はい、京都大学数理解析研究所に**山下剛**講師の研究室はあります。

京都大学数理解析研究所のウェブサイトにも、山下剛氏のプロフィールが掲載されており、所属は**基礎数理研究部門**です。彼の研究テーマは**数論幾何**です。
2025/09/16(火) 13:59:22.52ID:g3JGAkoG
ハルシネーションのある生成AIは情報元にしちゃあかん。しかも間違ってる

普通に聞いたら山下剛研究室は存在しないってよ
詳しく聞いても研究所所属の研究者としての掲載はあるとしか出ない

京都大学数理解析研究所に山下剛講師の研究室は存在しますか?

いいえ。京都大学数理解析研究所(RIMS)に「山下剛」講師の研究室は存在しません。
2025/09/16(火) 18:04:27.31ID:wGpSakIo
>>179
>>169 を読め
> 大学院入試の書類を見ても「研究室」の文字は一切ないね。数理解析研究所のページにも「研究室」の文字はない。「研究室一覧」もない。なので大学のページに「研究室」の文字がなければ研究室の存在を認めないのというのであれば、数理解析研究所のすべての教授が研究室をもっていないことになる。これだと「どういう条件を達成したら研究室の存在を認めるのか」が不明。つまりこの状態だと「ゴール」がない

> >>148 で述べられてあるような講座制の解体により、オフィシャルには「研究室」という単語は数理解析研究所ではもう使わなくなり慣習が残っているという状態なのかもしれない
2025/09/16(火) 18:05:41.70ID:wGpSakIo
>>162 も読め
> 「大学公式ページで問題になる虚偽の記載をしているのではないか」というほとんどあり得ないことを前提にしないと成り立たず、「論理的には限りなく小さい可能性が残っている」程度のものなのに、0か1かの思考をしちゃって、極めて小さい可能性でも残っているのならそれは1だとみなすアホ。今日隕石が降ってきて地球が滅亡する可能性は可能性だけならあるだろ、0じゃないだろ、と言ってるのと同じ。公式ページで虚偽言ってる可能性があるだろ、可能性だけならあるだろ、という論法。可能性の重みをつけないで0か1かで考えるのはよくある詭弁

> この場合、公式ページに問題ある虚偽を書いていると主張するなら、それを主張する側にそれを証明する責任が発生する。通常は公式ページの間違いなんて疑わないものなので、疑うのであれば十分な根拠がないといけない。その説明責任を果たさないで相手に押し付けているからおかしなことになっている。「嘘をついている」と言う側がそれを証明しないといけない。小さな可能性を主張するなら、「その小さな可能性が現実に起きている」ことを示す責任が発生する。可能性だけならあるだろ、はその責任を果たしていない
2025/09/16(火) 18:18:35.38ID:wGpSakIo
状況まとめ

1、数理解析研究所の大学院入試の書類にも数理解析研究所のページにも「研究室」の単語は存在しない(オフィシャルには「研究室」という単語は使わなくなり慣習が残っているのでは?)

2、「研究室という単語がなければ研究室の存在を認めない」のであれば数理解析研究所のすべての教授が研究室をもっていないことになる

3、なので「どういう条件を満たせば研究室の存在を認めるか」のゴールが不明である

4、大学院入試の書類には「志望する研究室」の代わりに「志望する指導教員」がある

5、大学ドメインの山下父のページで大学院入試受験者向けのページでは「山下の研究室」という記載があり、「山下を指導教員に選ぶ」=「山下の研究室を志望する」という内容であり、山下父を指導教員に選んで入学した後の内容は内容的にも山下研究室に所属する内容である

6、もしも山下父がそのページで虚偽を記載していたら大問題になるはずであり、現実はそうではないのだから虚偽でない可能性が極めて高い

7、もし虚偽だと主張するのであれば、虚偽であることを証明する責任が発生する。可能性だけならあるだろ、はその責任を果たしたことにはならない

以上、きちんと理解できたら相手してやる。同じ話の堂々巡りになるなら相手しない
2025/09/16(火) 18:37:37.52ID:hBc5LCan
だから話をそらすなって言ってるじゃんw
京大が組織体系として山下剛研究室を紹介しているページが存在しない、検索にも引っかからないのに山下剛研究室があるは無理筋でゴールもクソもない。特定のグループのトップとして主催しているわけでもなく話にならない
「思う」とか「常識」とか裏付けのないお気持ち表明はいいから客観的に確認できる山下剛研究室が存在するソースを出せよ
慣習が残っているのでは? とか 「山下を指導教員に選ぶ」=「山下の研究室を志望する」という内容であり とか書いてもいないことをお前が「思ってる」だけだろw
大問題になるはずとかも勝手な推測でしかない。取り立たされていない可能性をなぜ否定できる?

そもそも先にこちらがずっと聞いている質問からなぜ逃げる?これのソースも結局出せないの?


1 専任講師と准教授はほぼ同じで両者ともに独立した自分の研究室をもつ
2 大学運営で出席する会議も同じはず
3 歴史的理由により違う名前になっているだけ
4 京大数理解析研究所の講師ならどの大学でも教授で迎えられるだろう
5 指導教員=所属する研究室のボス、指導教員を選ぶ=所属する研究室を選ぶ
2025/09/16(火) 18:57:35.01ID:Y/ss+paA
AIに聞いてみた

日本語でのご質問ありがとうございます。提示された文章について、それぞれの内容が正しいか判断します。

### 1 専任講師と准教授はほぼ同じで両者ともに独立した自分の研究室をもつ
この文は**間違い**です。
専任講師と准教授は**役職の階層が異なり**、一般的には准教授の方が上位の役職とされます。大学によって異なりますが、独立した研究室を持つのは通常、准教授以上の役職が多いです。専任講師は、教授や准教授の研究室に所属している場合が一般的です。

### 2 大学運営で出席する会議も同じ
この文も**間違い**です。
役職の階層が異なるため、大学運営に関する会議で専任講師と准教授が出席する会議は同じではありません。例えば、教授会(大学運営の重要事項を審議する最高機関)には**准教授は参加できますが、専任講師は原則として参加できません**。

### 3 歴史的理由により違う名前になっているだけ
この文も**間違い**です。
専任講師と准教授は、歴史的理由ではなく、**役職の階層や職務内容の違い**によって名前が分けられています。准教授は、教授を補佐し、自らの専門分野で教育・研究を担う役職であり、専任講師は教育・研究を担う教員ですが、准教授よりも下位の階層です。

### 4 京大数理解析研究所の講師ならどの大学でも教授で迎えられる
この文は**間違い**です。
京都大学数理解析研究所の講師は非常に優秀な研究者であることが多いですが、**「どの大学でも教授で迎えられる」というのは断定できません**。大学によって教授の採用基準は異なり、候補者の研究業績や教育能力、専門分野の適合性などが総合的に評価されます。

### 5 指導教員を選ぶことは所属する研究室を選ぶこととほぼ同じ
この文は**正しい**です。
多くの大学では、学生は特定の指導教員のもとで研究を進めます。指導教員は通常、その教員が主宰する研究室に所属しているため、**指導教員を選ぶことは、その研究室の雰囲気、研究テーマ、共同研究者などを総合的に選ぶこと**に他なりません。
187名無し名人
垢版 |
2025/09/16(火) 19:28:45.74ID:p3IhRhv9
5も指導教員=所属する研究室のボス、の条件が抜けていて、ほぼ同じって条件が無かったのに謎に追加されてるな
1の回答が『専任講師は、教授や准教授の研究室に所属している場合が一般的です。』
だから5も間違いだね
188名無し名人
垢版 |
2025/09/16(火) 19:36:42.31ID:mwJNdXz8
俺の親族に大学の「専任講師」がいたんだが5年の任期付きで、4年目頃から次の就職先大学をかなり探していたな
めでたく別の大学の「准教授」の職を得たが
最近の専任講師以下は、皆任期付きで大変らしいな

どんなに頭脳が優秀&経歴が立派でも、そこの大学の学部の採用最高責任者に気に入られなければ採用されないだろうな
189名無し名人
垢版 |
2025/09/16(火) 20:31:03.19ID:RzTr59sk
本当に天才ならとっくの昔に四段になってるはず
四段になったのも三段リーグの成績だけでなれず、竜王戦の成績を加味した結果
しかもフリークラスからだろ
2025/09/16(火) 20:47:04.54ID:BGNZNyPr
AIの回答は情報源も同時に提示させないと無意味だぜ
2025/09/16(火) 20:47:37.62ID:bcLnrpTy
親がどうとかプログラミングがどうとか三段リーグの成績がどうとかどうでもいいんだよ
四段になってからの成績が全て
まあ谷合みたいに将棋と研究の二刀流で楽しく暮らしたいっていうならそれでもいいけど
2025/09/16(火) 21:05:32.45ID:r3ehKXHp
>>188
伸び代があればそうやって双六上がっていけるんだけどね
山下父の場合はIUTTが数学界からも世間でもトンデモ扱いされる流れで科研費も通せてないからステップアップは厳しい雰囲気
2025/09/16(火) 21:07:44.01ID:r3ehKXHp
そういや谷合と同じように考えてたけどフリクラからか
早めに上がれるといいな
2025/09/16(火) 21:16:29.41ID:bcLnrpTy
それと灘って決めつけるのもどうかと思うけど灘だから進学って決めつけるのもどうなんだろ
進学を希望してるっていうソースはあるの?
195名無し名人
垢版 |
2025/09/16(火) 22:50:52.83ID:RzTr59sk
フリクラからだと30局以上の勝率が6割5分以上なので、C2に行くのは最短2年掛かりそう
196名無し名人
垢版 |
2025/09/17(水) 00:06:34.41ID:xT1aQiyP
大地や八代の二代目になる可能性も
197名無し名人
垢版 |
2025/09/17(水) 06:08:25.42ID:eXXDjqFq
2年もかかるわけねーだろ
1年脱出コースだろうな
2025/09/17(水) 10:07:21.87ID:HT04IKaq
佐々木大地
2016年4月四段昇段、2017年2月順位戦C級2組昇級、所要時間10ヶ月半
古賀悠聖
2020年10月四段昇段、2021年9月順位戦C級2組昇級、所要時間11ヶ月半

山下四段は竜王戦で白星を稼ぎづらいのが難
でも大地古賀くらいの勝率を叩き出せれば、片山山下二人とも1年半以内にフリクラを抜けるでしょう
二人揃って2027年度順位戦に参加するところを見たい
199名無し名人
垢版 |
2025/09/17(水) 16:08:38.63ID:N6Ubvc02
>>3
将棋村のジジィ
200名無し名人
垢版 |
2025/09/17(水) 18:03:14.56ID:qoGfQkcm
【悲報】保守上げ荒らし、永瀬信者で天彦アンチだった
https://mevius.5ch.net/test/read.cgi/bgame/1757915652/
2025/09/18(木) 08:37:25.86ID:qzueEcdE
そして結局、藤井くんにはあっさりまけるんでしょ
202名無し名人
垢版 |
2025/09/18(木) 09:20:20.81ID:Bojop4+9
年下のイトタクに負け、永瀬程度に苦戦する藤井が山下相手に善戦し続けられるとは思えない
タイトルボロボロ剥がされていくだろうね。山下だけでなく新進気鋭の若手が一気に入ったし三段以下の有望若手株を見るに今後もそういう傾向にあるしな
2025/09/18(木) 12:36:17.17ID:g1N1QY73
現奨励会での有望株が居ないんだよなあ
当面は山下とイトタクが藤井叩き棒のトップツーにならざるを得ない
2025/09/18(木) 12:38:15.62ID:oPXjrwQT
山下とイトタクが潰し合いになるだろうな
2025/09/18(木) 13:18:34.10ID:KtjvqMd1
>>203
三段には國井君と、来期から花村君
二段以下には深井君
級位者には白尾君北川君(まだ若いから参考程度)
2025/09/18(木) 13:55:58.10ID:WeI7JpPE
>>202
羽生が弱いから次々に乗り換えて大変だよね
207名無し名人
垢版 |
2025/09/18(木) 14:24:37.72ID:2uPpXcen
藤井はスカスカの隙間世代の覇者

それが今後証明されちゃうね
208名無し名人
垢版 |
2025/09/18(木) 14:43:26.67ID:q4DcfCKS
ソフト開発の時間を取られて棋力が落ちて藤井に蹴散らされるだろう
2025/09/18(木) 15:33:07.01ID:b0Cs03b1
>>207
馬脚が見えてるぞ羽生オタ
210名無し名人
垢版 |
2025/09/18(木) 19:32:35.83ID:2d08405q
囲碁のAIをCPUで動かせるようになったら偉業なんだけどなあ
2025/09/19(金) 02:53:55.13ID:1C+7Z/zR
【悲報】保守上げ荒らし、永瀬信者で天彦アンチだった
https://mevius.5ch.net/test/read.cgi/bgame/1757915652/
212名無し名人
垢版 |
2025/09/20(土) 20:09:19.13ID:Pi0FBYHJ
山下は天才だけど藤井アンチに利用されるのは癪だな
213名無し名人
垢版 |
2025/09/21(日) 10:12:56.32ID:bR3suDFt
三段リーグ抜けられなかったわけだから。。
来期絶対に抜ける自信も無かったようで
2025/09/22(月) 00:09:50.92ID:Q+WpMRFU
上で公式ページに「山下の研究室」って書かれてるのにそれは虚偽の可能性があるからソースにならない、
って言ってるアンチ頭おかしすぎる 無効にするためには虚偽であることを証明する責任が生じるってその通り
それをしないで逃げ回っている

192も>>134を読んでないし
何よりここまで山下父に粘着サゲしてるのが気持ち悪い
2025/09/22(月) 01:20:12.96ID:MzmK+6UI
だから話をそらすなって言ってるじゃんw
京大が組織体系として山下剛研究室を紹介しているページが存在しない、検索にも引っかからないのに山下剛研究室があるは無理筋でゴールもクソもない。特定のグループのトップとして主催しているわけでもなく話にならない。50近いのに科研費を代表者で通せてない事は問題じゃないとでも?
「思う」とか「常識」とか裏付けのないお気持ち表明はいいから客観的に確認できる山下剛研究室が存在するソースを出せよ
慣習が残っているのでは? とか 「山下を指導教員に選ぶ」=「山下の研究室を志望する」という内容であり とか書いてもいないことをお前が「思ってる」だけだろw
大問題になるはずとかも勝手な推測でしかない。取り立たされていない可能性をなぜ否定できる?

そもそも先にこちらがずっと聞いている質問からなぜ逃げる?これのソースも結局出せないの?


1 専任講師と准教授はほぼ同じで両者ともに独立した自分の研究室をもつ
2 大学運営で出席する会議も同じはず
3 歴史的理由により違う名前になっているだけ
4 京大数理解析研究所の講師ならどの大学でも教授で迎えられるだろう
5 指導教員=所属する研究室のボス、指導教員を選ぶ=所属する研究室を選ぶ
216名無し名人
垢版 |
2025/09/22(月) 02:23:52.64ID:B5MbmyN1
IUT理論もこんな感じの話って聞いて笑った
2025/09/22(月) 15:20:49.11ID:sklRUOlz
>>215
メールで京大なり山下父なりに聞いたらどうですか
ここは5chの、それも将棋板
あなたの疑問と全く関係無い将棋指しの息子さんのスレなんですがね
2025/09/22(月) 17:22:57.49ID:1KCXCLph
IUT理論界隈が山下父の不正確な情報流してるならツッコまれて当然では?
証明の責任は流す側にあるけれど逆の事言ってたらもう…
2025/09/22(月) 19:07:08.35ID:Q+WpMRFU
宇宙人がいる可能性は0じゃいないよね、いないと断言はできないよね、と言うと宇宙人が存在することが確定するわけじゃない。この場合宇宙人が実際に存在することを証明しないといけない

「山下の研究室」って公式ページに書いてあるけど虚偽の可能性があるよね、虚偽じゃないと断言はできないよね、と言うと虚偽であることが確定するわけじゃない。この場合虚偽であることを実際に証明しないといけない。それが出来ないのならばソースとして認めないといけない

こんな簡単なことも分からないのかな
他の話題はいいから1つ1つ解決したらいい。この件についてはこれで解決とみていいわけね

あと、自分はIUT界隈じゃないけど、決めつけるのも論理的じゃないね。ソースはw
さらに付け加えると、IUT界隈だから言ってることの信用がないという論法はいわゆるad hominemで論理的に間違っている詭弁だからね。ストローマン論法がどうのと言ってるのにそんなことも知らないの?
2025/09/22(月) 19:43:49.44ID:/cBhLvRM
もう山下父論者はいらないから
将棋板から出てけよ
2025/09/22(月) 20:15:16.53ID:Pp8JIKXi
研究室HPもメンバーリストもない
UFOあると言ってる側は219の方だな
219の負け
2025/09/22(月) 20:55:37.55ID:Q+WpMRFU
>>221
メンバーリストが書かれてないことが研究室の存在を否定するものではない
虚偽であると証明しないといけない責任は虚偽であると言ってる側にあることは変わらない
やり直し
2025/09/22(月) 21:03:44.64ID:Q+WpMRFU
例えば京大数学教室の大学院生は
> (希望者のみ掲載)
とあり、おそらくプライバシーに配慮して希望者でないかぎり名前を載せていないようだ
https://www.math.kyoto-u.ac.jp/ja/member/graduate
2025/09/22(月) 21:24:47.11ID:peFgk6IX
そのHPすらないことはスルーか
構成員全員が知られちゃ困る研究室とはいったい
2025/09/22(月) 21:35:23.89ID:Q+WpMRFU
>>224
どういう理由で構成員の名前を載せていないのかは知らないが研究室の存在を否定するものではないね
そのページは大学院入試で山下研究室を考えている人むけに
研究室に配属になったあとの指導について書かれてあるから対外的にはそれで十分なのかもね
(>>223 で言ったようにプライバシーの配慮とかもあるのかもしれない)
工学部とかのように企業にアピールが必要な分野ではないようだし

それと、ちょっと心配しちゃうんだけど、そのページではっきり研究室案内をしているのに
研究室は存在しないと十分な根拠なく風説の流布をしていると名誉毀損罪とか
偽計業務妨害罪とかになるかもしれないよ
2025/09/22(月) 21:42:34.37ID:Q+WpMRFU
同じ京大数理解析研究所で同じ分野の数論幾何の玉川教授も研究室のページが見当たらないね
2025/09/22(月) 22:06:00.16ID:sklRUOlz
そもそも父の話スレチ
2025/09/22(月) 23:17:08.53ID:Q+WpMRFU
同じ京大数理解析研究所で別の分野だけど、大木谷教授(所長)、
大槻教授、緒方教授、小澤教授、小野教授、中西教授、並河教授、
牧野教授、望月(拓)教授も研究室のページが存在しないね
レスを投稿する

5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

ニューススポーツなんでも実況