サイコパスみたいな誘導ロボットみたいなのとか
監視カメラで密集し過ぎたら侵入禁止の案内を出すとかでも
posted at 00:05:31
Stats | Twitter歴 6,199日(2007/04/10より) |
ツイート数 226,283(36.5件/日) |
表示するツイート :
サイコパスみたいな誘導ロボットみたいなのとか
監視カメラで密集し過ぎたら侵入禁止の案内を出すとかでも
posted at 00:05:31
昔、NYからの飛行機で一杯すぎるので降りる人を募ってた。ホテルの用意と100$くれるんだったかな。そこそこ集まってたのだが、なぜかそこで「乗りたい人は乗れます」みたいなアナウンス。みんな乗ることに。結局、燃料足りなくて千歳で降ろされて6時間遅延。
posted at 00:11:22
人ってのはそんなもん。まぁ、自分も乗ったんだが。
posted at 00:12:11
8050問題とかあほがつけた名前だが、単に氷河期世代1700万人の1/10がニート化しているのに過ぎない。全員、生活保護で問題ない。学校の補助職員とかでも。そこをけちってるから社会問題になってるだけ。
posted at 00:31:34
ニート化してるのが頭が悪いとも限らない。たぶん、直交した軸だな。勤労は権利でもあるので、国が仕事を見つける義務がある。本読んで評価するとか、CM見て点数つけるとか、そんな仕事でも。そういうSFある。
posted at 00:34:36
回避策がわからん
posted at 00:35:55
人数わかってるんだから、その分、生活保護なり雇用なりお金出せば良いだけなんだが、なんかけちってるんだよな。ちなみにお金配るだけだとネトウヨ化するってのが英国の例らしい。
posted at 00:39:34
trichotomous 呼び出すだけでだめか
posted at 00:46:12
agdaのversionあげてみてる
posted at 00:57:41
通るじゃん
posted at 00:59:15
でも with をつけると 8G でも足りんみたいだな
posted at 01:03:03
16Gでもだめだな
posted at 01:05:25
デフォルト4Gなので、まぁ、単なるバグだろう
posted at 01:06:29
trichotomous を自分で書いて work around するか
それでもだめかもしれないが
posted at 01:26:05
今どき、集中イベント自体がダサい。オリンピックを筆頭に。ネットがあるんだから、もっと分散するのがかっこいい。そういう動きがないと。
posted at 01:38:39
これはくそだな。こういうのは害悪だと思う。Rust はCより難しいとは思わない。面倒なのは所有権だけでしょ。RAII とそんなに違わない。
C/C++のライブラリ管理として cargo を使うとかの方が。
QT Rustを使う一番のメリットはRustを理解できる水準にある人しか関わってこない点にある
posted at 01:45:37
@y_futatuki もう寝た方が...
posted at 02:05:13
場合わけで死んでるのがわかった。そこを postulate すれば回避できる。場合わけ自体は証明できる。
posted at 02:05:53
ワクチン2回と3回の間には越えられない壁がある。ま〜最初からわかってたら、3回うちをセットで始めたら良かったんだろうけどね、、
Retweeted by Shinji Kono
retweeted at 02:07:45
まぁ、コロナ、三回ワクチン打った後、東京で感染したんですけどね。軽かったけど。
posted at 02:08:21
なるほど。それだけではだめなのか。今日はここまで。もう寝よう。
posted at 02:12:29
東京生まれだから無意味な雑踏嫌いなわけじゃないが、
まぁ、避けるようにはなるね。
posted at 02:27:54
もしかして、捜神記とか少し思った
posted at 02:45:50
具体的なAPIで、class 名送ってきたのはバツな
(当然
posted at 04:01:34
sound.h とか書いてきたのもバツな
posted at 04:04:06
具体的なAPIは、まぁ、そのうちわかるんだが、今、わからなかったのを確認するような課題にしてる
posted at 04:04:49
まあねえ
posted at 04:14:41
いや、そんなにAgdaの限界を試してる気はないんだが…
posted at 04:15:44
Wordle 499 4/6
🟩⬜⬜⬜⬜
🟨⬜⬜⬜⬜
⬜🟨⬜🟨🟩
🟩🟩🟩🟩🟩
なんですか
posted at 08:08:06
ubuntu のあれかぁ
posted at 08:15:04
今日もう寝ようから二時間やってた
posted at 08:15:50
@beepcap OS9 系もあったんだけど、遅くてね
posted at 09:15:05
問題は他の人の回答を写して、しかも、その間違いに気がつかない
その恥ずかしさに気が付いてないのか?
少しは考えろよってあれなんだけど... マイナス点つけるか?
posted at 09:18:27
もっと、ずっと簡単なはず。
posted at 09:25:08
写すともだち選べっていったこともあるんだが、かなり雰囲気悪くなってな〜
posted at 09:26:15
まぁ、出来の悪いのは出来の悪いものどうしでつるむってことね。
posted at 09:27:12
@uchujin17 G-micro ね。押し通してれば面白かったが、米国の横槍がな。
posted at 11:03:55
単に頭が回ってないだけで、もっと、ずーっと簡単なはず。
posted at 11:36:57
鎖の上界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
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
高校でやるようなベクトル
と言われても双対空間と対角化までやってたからな
それとテンソルに結びつかなかったのが謎
posted at 13:24:47
多重線型写像で終わりなんだが
そうじゃないとか言い出す面倒なの
がなぁ。
posted at 13:25:38
コンパクト性に関しても
距離だろ
に対して距離が定義できない場合とかいうのが面倒。
必ず定義できる気もするが…
posted at 13:27:03
人口分布に文句つけてもね
QT 30~40代の研究者が減り、70代の研究者が増える
posted at 13:37:04
カルキチ 副島|Karukichi Soejima@karukichi_yah
Question: Vimを使って開発したいです。何から始めればいいですか?
Answer: 悪いことは言わない。辞めた方がいい。
ってのは冗談で、、、自分がどうやって脱VSCodeしてVimmer(普段の開発で問題なく使えるレベル)になったかダラダラ書いてこうと思います。
Retweeted by Shinji Kono
retweeted at 14:07:06
今回の緑のNovaは僕はMD運営は手伝ってないから「あーまたか」くらいだけど、XFは信頼前提だから怒ってる人は怒ってるよな。そもそも人の資源少ないのに大切にしないのはなぁ。
posted at 14:43:50
昔の秋葉原ですか。キッチンカロリー派でした。
posted at 14:55:42
vimtutor は、昔は learn vi だった。learn ed とか learn sh もあった。awk もあったかな。
vi はカード見ながらやってたが、わかんなくてさ。
adb も謎だった。
posted at 15:10:49
腐叩き自体見たことない
2ch がそういうところだったことは知ってるが
posted at 15:17:19
ぐ、record ごと場合わけしたら通った
posted at 15:37:16
@kana_ss0117 自分も一つ、炎上してなくなったのを外から見ました
posted at 15:47:40
あら、カレーが
posted at 16:19:29
心不全の原因がストレスって、原因不明ってことだから。おそらくコロナ起源。
posted at 17:14:30
カレータイム https://pic.twitter.com/BkUp30oHnN
posted at 17:42:25
激うまです
posted at 17:48:43
バスが一時間後だ…
posted at 20:36:01
アラームとタイマーでストップと繰り返しが入れ替わってるiOS
posted at 21:27:47