Pinned Tweet
Screenwalkers は ICPC 2025 世界大会で準優勝しました!
みなさん応援ありがとうございました
この結果は日本では初めてです、私たちはやり遂げました! #Screenwalkers
> 情報学分野の競争は熾烈であるため、他人と比べれば、既にトップ国際会議に 5~10 本採択された情報系の優れた日本の修士 2 年生は 15~30人程度いるのではないかと推測していますが
これはそんなに間違ってないんじゃないかと思っている
いつもありがとうございます!最近、グラフ彩色のアルゴリズムに関する 3 つの新しい論文を arXiv に投稿しました。
(これで、修士の目標のひとつである論文 10 本以上出すことを達成することができました)
近況報告および最近のグラフ彩色に関する研究成果 (2026. 11. 12)
drive.google.com/file/d/1-Tm…
いつもありがとうございます!最近、グラフ彩色のアルゴリズムに関する 3 つの新しい論文を arXiv に投稿しました。
(これで、修士の目標のひとつである論文 10 本以上出すことを達成することができました)
近況報告および最近のグラフ彩色に関する研究成果 (2026. 11. 12)
drive.google.com/file/d/1-Tm…
[2] Kaisei Deguchi, Ken-ichi Kawarabayashi, Hirotaka Yoneda, Masataka Yoneda. "An O(n^0.1537)-Coloring Algorithm for 3-Colorable Graphs" (2026/10/26 投稿)
arxiv.org/abs/2610.35859
1
7
6,130
[3] Ken-ichi Kawarabayashi, Hirotaka Yoneda, Masataka Yoneda. "Online Graph Coloring: Competitive Ratios Separating Randomized and Deterministic Algorithms"
arxiv.org/abs/2611.14513
5
4,529
我々の研究室の河原林健一先生、D2 の井上裕太さん・宮下敦行さんらの研究が FOCS 2026 の Best Paper を受賞した!
これは日本の科学研究にとって素晴らしいニュースだ!
✏️ニュースリリース
理論計算機科学のトップ会議「FOCS 2026」で国立情報学研究所から論文3本が採択 うち四色定理に新たな証明を与えた論文が Best Paper を受賞
nii.ac.jp/news/release/2026/…
大学共同利用機関法人 情報・システム研究機構 国立情報学研究所の研究者が関わる論文が、理論計算機科学分野のトップカンファレンスである「The 67th Annual Symposium on Foundations of Computer Science (FOCS 2026)」 において、3本が採択され、うちNII情報学プリンシプル研究系の河原林 健一教授らの四色定理に関する論文が Best Paper を受賞しました。
square1001 🍎 retweeted
✏️ニュースリリース
理論計算機科学のトップ会議「FOCS 2026」で国立情報学研究所から論文3本が採択 うち四色定理に新たな証明を与えた論文が Best Paper を受賞
nii.ac.jp/news/release/2026/…
大学共同利用機関法人 情報・システム研究機構 国立情報学研究所の研究者が関わる論文が、理論計算機科学分野のトップカンファレンスである「The 67th Annual Symposium on Foundations of Computer Science (FOCS 2026)」 において、3本が採択され、うちNII情報学プリンシプル研究系の河原林 健一教授らの四色定理に関する論文が Best Paper を受賞しました。
square1001 🍎 retweeted
最近は社会に目を向ければ、世の中の目は厳しいでしょう。我々の大学そのものや、大学院生の研究生産性について、疑念を持っている人が多いのを認識しています。
国民の血税で研究が支えられているのであれば、その期待に応える責任がある、というプレッシャーは持っています。
square1001 🍎 retweeted
これはただの “40 年未解決だった問題” ではない。
文字列アルゴリズム・近似アルゴリズムの多くの教科書に載っている中心的予想である。
これは世界を動かす大きな論文だ!
arxiv.org/abs/2609.01365
新作出ました!
すべての入力文字列を部分文字列として含む最短の文字列を求める最短超文字列問題において、単純な貪欲法の解が最適解の2倍より長くなることはない、という約40年間未解決だった予想に対し、(AIの力を借り)初の反例を与えることで予想を解決しました。
JOI 一次予選 (第 2 回) 問題 5「文字列を探せ」を提案しました。
www2.ioi-jp.org/joi/2026/202…
文字列 S, T (長さ 100 以下) および整数 K (10^9 以下) が与えられたときに、S を K 回繰り返した文字列に T が含まれるか判定するプログラムを書く問題です。
10
1,967
アルゴリズムをやってて「なぜ人々が P ≠ NP だと思ってるのか?」は以前から不思議に思っていることです。
計算量下界に関してはまだ十分な結果がないので、O(n) 時間で検証できる問題 (3-SAT, グラフ彩色など) は、すべて O(n) 時間で解ける、という世界線もあり得ると思っています。







