Taihei Oki（けんきゅうしゃのすがた）

積査読--;

I am honored to announce that I have received the 2025 Funai Information Technology Award for Young Researchers, presented by the Funai Foundation for Information Technology, for my research on “Theory and Applications of Combinatorial Optimization Based on Discrete Convexity.”

イプシロンデルタ論法は誤差解析だからむしろ工学系の人こそ学ぶべき というM先生の格言を思い出した

賞をいただいいて、代表して研究業績の紹介をしたんですが、むしろなんかいろいろ勉強になった

積査読--; 積査読++;

具体的に構成して議論を進めるより，性質を列挙→実はそれを満たすものは（本質的に）一意（→実際に構成して存在を示す）のほうが好み．実数もLebesgue測度も．

異議申し立てしたら垢BAN解除されたo(^o^)o

Claudeに証明チェックさせたら勝手に暴走して垢BANされた…

やっぱり出張の航空券はキャンセル可能な運賃で取るに限る

@opt_misc でもStrassenが実用的でないというのも事実だとおもうので，どう記述すべきですかね？

「Newton 法は逆行列計算が必要だから 1 反復あたりの計算コストが O(n^3)（Θ(n^3)）になってしまう」みたいな記述を論文でよく見かけて，そのたびにモヤっとする．Strassen とかを知ってて書いてるのかそうじゃないのか

👀 RIMS 共同研究「組合せ最適化セミナー」 (第 23 回) kurims.kyoto-u.ac.jp/coss/coss2026/…

@ygussany 行きましょう！！！

@noptium デンスケ行くぞ！！！

昨日付けで所属が増えたはずなんだけど正式な通知がないから本当にそうなのか自信がない

@ygussany ありがとうございます！安心しました！

@noptium 👀

多腕バンディットをちゃんと勉強する運気（いまさら）

ゴミ箱に投げるようにChatGPT 5.4 Proに手元の未解決問題を投げているけど全然解いてくれん　巷 (X) で話題の話はなんなんだ

積査読--;

@knewknowl そうなのかー、でも確かに数学科の一部の先生はそうがも（基底も順序がついたらわざわざ「順序つき基底」とよんだりするし）

@noptium 自分もそう思うのだけど、この点を数学科の先生にツっこまれた経験が複数回あって、言及がないまま議論を進めるのは(順序に依存しない性質だとしても)意外と受け入れられてないのだなぁと感じた

有限集合S,Tに対してM \in R^{S×T}は厳密には行列じゃなくて関数M:S×T -> Rと見るべきで、行列と言い張るにはSとTに順序を入れてR^{|S|×|T|}の元にしなきゃのはずなのに、暗に順序を仮定して行列として扱うのをよく見るし論文書くときに自分もやっちゃうんだけど、どうなんでしょうかね。。。