にゃ〜ん

41.7K posts
Opens profile photo
にゃ〜ん
@kazu0x17
プロコン（老害）/運動全般(ランニング)/ついに学生が終わってしまった
Joined October 2014
3,449 Following
1,510 Followers

にゃ〜ん’s posts

にゃ〜ん
@kazu0x17
研究中の気持ち，大体これ
Image
Quote
kota matsui
@matsui_kota
研究分野がそうなのかはよくわからないけど、自分の能力の低さがあまりに情けなくて勉強や研究のモチベーションが上がるという部分はとてもよくわかる x.com/yo_ehara/statu…
143K
にゃ〜ん
@kazu0x17
今数学を勉強し直すと，大体昔わからなかったり納得できなかったことの9割は「定義をちゃんと確認しような」で解決する．
にゃ〜ん
@kazu0x17
多点スタート局所探索ってあると思うんですが，多点スタートしても理論的には何もいいことがないという論文です． もうちょっとちゃんというと重みなしの最適化問題に対して局所最適解が二つ以上存在するかの判定問題が NP-hard だと示した論文です．
arxiv.org
Finding One Local Optimum Is Easy -- but What About Two?
The class PLS (Polynomial Local Search) captures the complexity of finding a solution that is locally optimal and has proven to be an important concept in the theory of local search. It has been...
21K
にゃ〜ん
@kazu0x17
計算可能かどうかにしか興味ない人もいるので（弊学部…）
Quote
えびちゃん🍑🍝🦃
@rsk0315_h4x
人間が「log は定数」とか「多項式は定数」とか言ってｷｬｯｷｬしてる中、もっと “上” の存在の生き物たちは「指数関数は定数」とか言ってるのかな
24K
にゃ〜ん
@kazu0x17
その学生は「これは競プロでは典型なんですけど．．．」と言いながら論文の結果を改善したらしい．
にゃ〜ん
@kazu0x17
最近出た論文のネタを競プロerに渡すと時間計算量が改善されて帰ってくるのでそれで論文ができるというのはよく聞く話．．．（やはり魔窟）
Quote
Umepon
@shunji_umetani
理論研究でアルゴリズムを実装する機会がないので、論文をネタに競プロ作問してアルゴリズムを実装したの良い話。ところで、そんな作問して解ける人いたの？って訊いたら複数人いたそうなので魔窟みが凄い。
にゃ〜ん
@kazu0x17
みんな Springer の本持ってるんか？と思ったら違かった
Quote
騎空士鮫ミンよりも遠い場所🇦🇶
@usa_akasa
私がパリに住んでた時は「中国人を日本人と間違えると怒ってくるけど、逆は笑って訂正してくれるから不明な場合はニーハオって声かける」って地元民は言ってましたね。 ついでに「でも黄色の表紙の分厚い本を持ってるのは日本人ってすぐわかる」とも。 x.com/minerva_owl1/s…
49K
にゃ〜ん
@kazu0x17
これが教養と言われるなら未知の最適化問題の計算複雑性のあたりをつけるのも教養にしてほしい
Quote
こんでんえいねんしざいほう
@hiroju5555
母、普通の主婦なんですが、 「茶🍵が日本に伝来したのはいつ頃か」 という問題に、 「三国志で劉備が母のために茶を買おうとしてたよな。あの頃卑弥呼の頃だから3世紀。庶民への普及には数世紀かかるから7世紀ころ、日本への伝来はその後だから8世紀。」 と当てていて、これが〝教養”なんだと思った。 x.com/azusa_ey/statu…
15K
にゃ〜ん
@kazu0x17
不動産，マジで思うな〜 騙した方が明らか得だもんな
Quote
めろん
@gatigatitv
「リピーターを必要としないビジネスの民度は低くなる」の典型 他にはタクシー、観光地の店、冠婚葬祭、不動産営業などなど x.com/ShintaniManabu…
12K
にゃ〜ん
@kazu0x17
これって存在性言ってるだけだよね? 任意の無理数の無理数乗が有理数になるわけじゃないよね?
Quote
うどんおいしい(避難先)
@ud0noisi
無理数の無理数乗が有理数になる証明って実質これなのか、面白い x.com/Noutore_123/st…
41K
にゃ〜ん
@kazu0x17
ウマ娘の課金は実質学術への発展の寄与
Quote
サイバーエージェント　広報＆IR
@CyberAgent_PR
AI Labが日本学術振興会「特別研究員-PD等の雇用制度導入機関」へ登録され、特別研究員-PD等の雇用が可能となりました。受入研究員を含む募集要項を公開します。 AI Labでは産官学に通じた若手研究者の長期育成を目指し、研究・開発に努めてまいります。 cyberagent.co.jp/news/detail/id
32K
にゃ〜ん
@kazu0x17
一般向けに P vs NP の説明をするとき，当たり前というか定義通りなのですが，NP は答えを見つけるのに指数時間かかる問題じゃなくて，答えの検証が多項式時間でできる問題と説明した方が良さげですよね？
20K
にゃ〜ん
@kazu0x17
プログラミングそのものがしたくて，つくりたいものはなかった人間なので，競プロにどハマりしました． プログラミングそのものが目的の人，思ったより多いと思うんですよ．
Quote
木野小太郎
@SMBKRHYT_kinoko
プログラミングはまずはやりたい事があって、その手段なので、まずは何をしたいか考えるのが重要。 x.com/carpe_diem5641…
9.3K
にゃ〜ん
@kazu0x17
一生見てられる
Quote
響介
@HOMEALONe_ksk
猫無限に出てくるドア買ったんだけど見て
The media could not be played.
26K
にゃ〜ん
@kazu0x17
完全にこれ、個数は離散なので平均の切り上げを達成するものが存在するという理解
Quote
えびま
@evima0
Replying to @winter_kyopro
対偶「絶対に9点以下しか覆えないなら、ランダムな敷き詰め方を選んだときに覆われる点の個数の期待値は9以下である」は疑う余地がないと思います。
16K
にゃ〜ん
@kazu0x17
恥ずかしながら終了する保証のないものを「アルゴリズム」とよんではいけない理由を知らなかったのですが，アルゴリズムが計算可能な問題に対して定義されていると思うと変なことになるわけですね． チューリングマシンと決定可能性が関係しているので色々ややこしくなる気がしてきました．
8.1K
にゃ〜ん
@kazu0x17
実はACT-Xに採択されました（感動と恐怖）
Quote
JST CREST・さきがけ・ACT-X
@JST_Kisokenkyu
2021年度の採択結果を公開しました。 各領域の ✓今年度の採択課題 ✓選考についての総括総評 などを公開しています。 ◎CREST jst.go.jp/kisoken/crest/ ◎さきがけ jst.go.jp/kisoken/presto ◎ACT-X jst.go.jp/kisoken/act-x/
にゃ〜ん
@kazu0x17
アルゴリズムを作ったらSATが多項式時間で解けた
Quote
めよんて
@meyonte0
数学の問題解いたら確率が1超えてこれ
Image
7.6K
にゃ〜ん
@kazu0x17
これ、ショットガンである必要なはなくて、同じ置換かけまくれば有限回で戻りません？
Quote
雑学を教えてくれるこいしちゃんbot
@Zatugaku_Koishi
Parody account
Image
25K
にゃ〜ん
@kazu0x17
解けると分かったと思ったけど，実際に解いたら間違っていたと言う経験が大量にあるので，めんどくさがらず頑張ろうと言う気持ちの人
Quote
くろの
@Khronos2106
これになってる
Image
にゃ〜ん
@kazu0x17
違いがない可能性．．．
Quote
winter_2521❄⛄️
@winter_kyopro
しかし警部、アルゴリズムを専攻中のものが、PとNPの違いを説明できないことなどあるでしょうか？
4.9K
にゃ〜ん
@kazu0x17
学士は競プロでとったし競プロを始めた影響で博士まで取りました．
Quote
ryusuke
@ryusuke__h
自分はかなり競プロで人生が変わった人間側だと思ってて ・コーディングスキルが周りの学生より圧倒的に付いてるのは競プロ ・paiza, アルゴ式などの会社で働かせていただいてた（てる）のも競プロ ・競プロのおかげで就活はノーストレス+優遇 他にもあるけど役に立つ所の騒ぎじゃないです x.com/levtech_lab/st…
7.6K
にゃ〜ん
@kazu0x17
ボゴソート，最悪計算時間が O( \infty )ってよくいうけど，これ定義上正しいのか？（言いたいことはわかる）
81K
にゃ〜ん
@kazu0x17
Python が遅いのはそうなんだけど競プロが（ある一面では）オーダーを競う競技なので，オーダーのパワーでなんとかできるタイプの問題にしてほしいという気持ちはある．
Quote
地理奈 / Tiri7_Ma13a_
@Tiri7_Ma1tha_
競プロにおいてPythonが不利なのは事実なんだろうけどよ、スマホコーダーからしたらコードの書きやすさだけ見ればPython最強なんすよ…。
34K
にゃ〜ん
@kazu0x17
「全ての概念はKan拡張である」，ワードとしては聞いたことあるけどどういう意味なのかなぁと雰囲気だけでも知りたい 圏論もそうだけど，そんなに一般化できたとして，そんな一般化して数学的におもしろいなにかあるんか？って思ってしまう．
58K
にゃ〜ん
@kazu0x17
「単語列から次の単語予測します！」をすっごく頑張ったら今みたいなことできるとか思えなくない？ なんならこんなの筋悪だろとか思っていました．（そして半年後くらいにChatGPT-3さんが出てきました．）
27K
にゃ〜ん
@kazu0x17
散歩，研究を進める最強のソリューション
Quote
𝙉𝙋𝙊𝙎
@npostring
全ITエンジニアには散歩をお勧めしたい パソコンの前でうんうん唸っているよりも圧倒的に考えがまとまる
6K
にゃ〜ん
@kazu0x17
人生で一番やばいなって人、自分でエディタ自作してた そこで木構造とか深さ優先探索の車輪の再発明していたっぽい
Quote
山🗻
@true_se_tips
職歴なくてエンジニアの世界に来たい人、ひたすら「こいつヤバいな」って思わせる方針で戦って欲しい 資格が1, 2個あったって誤差なんだよね x.com/mnmnhsi/status…
4.5K
にゃ〜ん
@kazu0x17
ふと思ったけど，太った人にこういう人いるけど，痩せている人にこういうこと言う人いない気がする（痩せすぎも食事管理できていないのでは？）
Quote
ほしいも
@zoon_yan
太った人が駆け込み乗車をしてる。食事管理も時間管理も出来ない怠惰な人間が人様に迷惑を掛けてる
6.7K
にゃ〜ん
@kazu0x17
「プログラミングが好き」の後に NP 困難問題につながるの，競プロer 仕草がすごい．
Quote
おばあちゃんのプログラミング教室（ばあプロ）As A Service
@Pythonist19
美容師「プログラミング好きなんですか？」 ワイ　「まあ…」 美容師「私も結構好きなんですよ！一番好きなNP困難は何？」 ワイ　「言ってもわからないですよ…」 美容師「うそ〜大体わかりますよ！」 ワイ　「巡回セールスマン問題」 美容師「へー…」 美容師「何のです？」 ワイ　「！？」
14K