ぜるめふ🐾

[ぜるめふ🐾 @Xelmh]

✈

[ぜるめふ🐾 @Xelmh]

ひとまずarxiv版だせて気が楽になりました

[ぜるめふ🐾 @Xelmh]

better-quasi-ordering 、なに言ってるのかわからない

[ぜるめふ🐾 @Xelmh]

だいたい well-quasi-ordering 系はそうなるかもと気づきがあった

[ぜるめふ🐾 @Xelmh]

fpt の f(k) n^{O(1)} 、 f としてせいぜいTOWER "くらい" しか意味がある結果を知らないけどアッカーマン関数とか原始再帰でない計算可能関数を使うとどんな世界があるのかかなり気になってる

[ぜるめふ🐾 @Xelmh]

最近やってるのグラフじゃなくないか

[ぜるめふ🐾 @Xelmh]

@kazu0x17 descriptive complexity 的にもそもそも何かわかってるのかよくわからないので結構気になってます
（r.e. とかの話あたりも含めてちょっと一回色々知っときたい感あります…）

[ぜるめふ🐾 @Xelmh]

fpt の f(k) n^{O(1)} 、 f としてせいぜいTOWER "くらい" しか意味がある結果を知らないけどアッカーマン関数とか原始再帰でない計算可能関数を使うとどんな世界があるのかかなり気になってる

[ぜるめふ🐾 @Xelmh]

@kazu0x17 はい、これがあるのでこのあたりとか使った世界がどうなるのか気になるわけです

[ぜるめふ🐾 @Xelmh]

@greenz_greenz 🦴

[ぜるめふ🐾 @Xelmh]

🥩

[ぜるめふ🐾 @Xelmh]

冷房つよいの変な感じするな

[ぜるめふ🐾 @Xelmh]

覚悟してたよりは涼しそう

[古田 雄一 Yuichi Furuta @frty87]

先行研究の良くないまとめ方「ランドリーリスト」とは？
https://t.co/j1PvxrVeFo

[ぜるめふ🐾 @Xelmh]

24時間で5本も査読依頼がとんできたのでびっくりしちゃった

[藤田尚志 Hisashi Fujita『ベルクソン 反時代的哲学』（勁草書房） @UnivFujita]

日本のように非アルファベット圏の国こそ、英語以外の表記に対して可能な限り開かれたシステムを構築すべきではないでしょうか。

理念的にもそう思いますし、コスパ（該当する全研究者の全労力）を考えても、システム改修したほうがよほど効率的ではないかと。。

[藤田尚志 Hisashi Fujita『ベルクソン 反時代的哲学』（勁草書房） @UnivFujita]

科研の一年間の業績を報告する時期です。

「アルファベット以外の外国語の文字は文字化けの原因。近い表記に置き換えて」という学振の指示に従い、フランス語関連の業績はすべて表記（アクサンや括弧）を変えねばなりません。

しかし、毎年思うのですが（続く）

[ぜるめふ🐾 @Xelmh]

科研費の実績報告、日本語がはいると半分くらい&なんちゃらになって終わるのなんて

[ぜるめふ🐾 @Xelmh]

🫥

[ぜるめふ🐾 @Xelmh]

@kazu0x17 研究の楽しいところですね💀