Tweet épinglé
dif_engine﹅
147.3K posts
dif_engine﹅
@dif_engine
超準解析や論理プログラミングに興味を持っています。・絵垢：dif_pic
サイバーイグアナ Inscrit le Şubat 2011
3.9K Abonnements3.1K Abonnés
dif_engine﹅ retweeté
dif_engine﹅ retweeté
OMG Someone put an Artemis plushie from Sailor Moon in Capcom in launch command for the Artemis II!!
English
dif_engine﹅ retweeté
dif_engine﹅ retweeté
沖縄研修旅行の異質さ｜辺野古ボート転覆事故遺族メモ
皆様からいただいている情報全て拝読しております。
たくさんの有益な情報と温かいご支援・コメントありがとうございます。
知華のためにも、引き続きお力添えよろしくお願いいたします。
note.com/beloved_tomoka…
＃沖縄 #辺野古ボート転覆事故 ＃同志社国際
日本語
dif_engine﹅ retweeté
@PKAnzug @gaketsu_gk2 有名な焼きそば＆焼きサバのシーン。
北米版BDだと字幕はFried Macaroni,Fried Mackerelとなってますが、実際の音声はYAKISOBA,YAKISABAとなっています✨
日本語
dif_engine﹅ retweeté
問題は、Linuxカーネルにすら使われるようになった時点ですでに枯れていると思うんだ。
mizchi@mizchi
ビッグテックの知り合いに rust どうなんと聞いたら、枯れるべきシステムプログラミング領域で rust みたいな流行り物に流されるやつと仕事したくないと言ってて、まあそういう気持ちもあるか…とは思った
日本語
dif_engine﹅ retweeté
江戸時代の人がフグ料理食べるときってこんな感じだったんじゃないかな．
Windymelt🚀❤️🔥@windymelt
やれやれ、axios困ったものですね〜と言いつつ、目新しいソフトを入れるたびにcurl ... | shしている俺たちは
日本語
dif_engine﹅ retweeté
やれやれ、axios困ったものですね〜と言いつつ、目新しいソフトを入れるたびにcurl ... | shしている俺たちは
日本語
dif_engine﹅ retweeté
curl ... | sh ←苦苦しい気持ちで、ドメインを信頼してやっている
PGP署名も用意してくれている人←うれしすぎ
Windymelt🚀❤️🔥@windymelt
やれやれ、axios困ったものですね〜と言いつつ、目新しいソフトを入れるたびにcurl ... | shしている俺たちは
日本語
dif_engine﹅ retweeté
dif_engine﹅ retweeté
某Rustで書き直されたリポジトリのREADMEに
Q. なんでRustで書き直したの?
A. CMake嫌い、Rustだいすき
って書いてあるの思い出した
mizchi@mizchi
C++より Rust のがいいと思う理由: CMake ではない
日本語
dif_engine﹅ retweeté
広田微分の表記に関しては、初期からずっと指摘はあるが、実際に手を動かしてまなぶソリトンだと広田さんの記号はうまくできているので、あくまで入門の補助的に別の記号を使うのは良いと思うが、広まらないように思う。
山根英司： 新刊『手を動かしてまなぶ偏微分方程式』@hideshiyamane
「広田微分のD_x^n は D_x のn乗ではない」「f・g は fとgの積ではない」と授業で何度言っても通じなかったので，初心者向けに新しい記号を導入しました． 専門家が用いる記号 D_x^n (f・g) 本書の記号 D_x[n](f, g)
日本語
dif_engine﹅ retweeté
dif_engine﹅ retweeté
学生時代，随分いろいろ論文を漁ったけど，どうも次元が上がると no extinction 成立のための「よい」十分条件を言うのはとても難しいんだナぐらいの印象しか残ってない．
日本語
さて三者以上の系を考えると，安定多様体は，あったとしてもどんな形なのかということも含めて，一気にわからなくなる．
L-V系の「美しい結果」の多くがPoincare-Bendixonの定理に完全に依拠しているので，3者以上の系については一般化が難しい．
日本語
一見すると美しいLV系なのに、第一次大戦から何年経っても生態学の入門書では多数競合に触れないのはこのような事情があるらしい。
全卓樹@quantum_zen
ロトカ＝ヴォルテラ系で二者が競合する（2種草食動物の）場合、二者が共存の（競合項の小さい）パラメータ領域有るんですが、これを三体にして二者がもう一者を共通に捕食しつつ競合する（2種肉食獣の）場合を考えると、共存領域がなく必ず一者が絶滅することを、ほぼ示せた。現実の生態系ともあってる
日本語