情報更新

last update 03/29 16:40

ツイート検索

 

@shinji_kono
サイトメニュー
Twilogユーザー検索

Twilog

 

@shinji_kono

Shinji Kono@shinji_kono

Stats Twitter歴
6,199日(2007/04/10より)
ツイート数
226,283(36.5件/日)

ツイートの並び順 :

表示するツイート :

2022年10月31日(月)57 tweetssource

10月31日

@shinji_kono

Shinji Kono@shinji_kono

昔、NYからの飛行機で一杯すぎるので降りる人を募ってた。ホテルの用意と100$くれるんだったかな。そこそこ集まってたのだが、なぜかそこで「乗りたい人は乗れます」みたいなアナウンス。みんな乗ることに。結局、燃料足りなくて千歳で降ろされて6時間遅延。

posted at 00:11:22

10月31日

@shinji_kono

Shinji Kono@shinji_kono

8050問題とかあほがつけた名前だが、単に氷河期世代1700万人の1/10がニート化しているのに過ぎない。全員、生活保護で問題ない。学校の補助職員とかでも。そこをけちってるから社会問題になってるだけ。

posted at 00:31:34

10月31日

@shinji_kono

Shinji Kono@shinji_kono

ニート化してるのが頭が悪いとも限らない。たぶん、直交した軸だな。勤労は権利でもあるので、国が仕事を見つける義務がある。本読んで評価するとか、CM見て点数つけるとか、そんな仕事でも。そういうSFある。

posted at 00:34:36

10月31日

@shinji_kono

Shinji Kono@shinji_kono

人数わかってるんだから、その分、生活保護なり雇用なりお金出せば良いだけなんだが、なんかけちってるんだよな。ちなみにお金配るだけだとネトウヨ化するってのが英国の例らしい。

posted at 00:39:34

10月31日

@shinji_kono

Shinji Kono@shinji_kono

今どき、集中イベント自体がダサい。オリンピックを筆頭に。ネットがあるんだから、もっと分散するのがかっこいい。そういう動きがないと。

posted at 01:38:39

10月31日

@shinji_kono

Shinji Kono@shinji_kono

これはくそだな。こういうのは害悪だと思う。Rust はCより難しいとは思わない。面倒なのは所有権だけでしょ。RAII とそんなに違わない。

C/C++のライブラリ管理として cargo を使うとかの方が。

QT Rustを使う一番のメリットはRustを理解できる水準にある人しか関わってこない点にある

posted at 01:45:37

10月31日

@KazBowen

Kazz.MD.Ph.D.@KazBowen

ワクチン2回と3回の間には越えられない壁がある。ま〜最初からわかってたら、3回うちをセットで始めたら良かったんだろうけどね、、

Retweeted by Shinji Kono

retweeted at 02:07:45

10月31日

@shinji_kono

Shinji Kono@shinji_kono

問題は他の人の回答を写して、しかも、その間違いに気がつかない

  その恥ずかしさに気が付いてないのか?

少しは考えろよってあれなんだけど... マイナス点つけるか?

posted at 09:18:27

10月31日

@shinji_kono

Shinji Kono@shinji_kono

鎖の上界cは鎖に入ってるかどうかわからない
supf c o< supf (& A)
が示せれば最大性が使える。
supf c o≦ supf (& A)
まではsupfの≦単調から言える。
supf c o< supf d o≦ supf (& A)
なdがあれば良い。

posted at 11:46:23

10月31日

@shinji_kono

Shinji Kono@shinji_kono

supf c のf閉包の上界をdに使える。fは<単調。
supf c < f (supf c) ≦ d
までは言える。欲しいのは
supf c o< d
だが、supf d ≡ d ならsupf のinjection が使える。

なんだが、それは少し面倒。

でも、やっぱり、この道か。

posted at 12:12:44

10月31日

@shinji_kono

Shinji Kono@shinji_kono

高校でやるようなベクトル

と言われても双対空間と対角化までやってたからな

それとテンソルに結びつかなかったのが謎

posted at 13:24:47

10月31日

@shinji_kono

Shinji Kono@shinji_kono

コンパクト性に関しても

距離だろ

に対して距離が定義できない場合とかいうのが面倒。

必ず定義できる気もするが…

posted at 13:27:03

10月31日

@karukichi_yah

カルキチ 副島|Karukichi Soejima@karukichi_yah

Question: Vimを使って開発したいです。何から始めればいいですか?

Answer: 悪いことは言わない。辞めた方がいい。

ってのは冗談で、、、自分がどうやって脱VSCodeしてVimmer(普段の開発で問題なく使えるレベル)になったかダラダラ書いてこうと思います。

Retweeted by Shinji Kono

retweeted at 14:07:06

10月31日

@shinji_kono

Shinji Kono@shinji_kono

今回の緑のNovaは僕はMD運営は手伝ってないから「あーまたか」くらいだけど、XFは信頼前提だから怒ってる人は怒ってるよな。そもそも人の資源少ないのに大切にしないのはなぁ。

posted at 14:43:50

10月31日

@shinji_kono

Shinji Kono@shinji_kono

vimtutor は、昔は learn vi だった。learn ed とか learn sh もあった。awk もあったかな。

vi はカード見ながらやってたが、わかんなくてさ。
adb も謎だった。

posted at 15:10:49

このページの先頭へ

×