我々の認知世界に実在は無く、すべて人間は描かれるままに動くフィクションのキャラクターなので、アニメキャラのように考察されて好き嫌いが論じられ、アニメキャラのように消費される。
posted at 23:06:02
Stats | Twitter歴 4,511日(2011/11/23より) |
ツイート数 56,230(12.4件/日) |
表示するツイート :
我々の認知世界に実在は無く、すべて人間は描かれるままに動くフィクションのキャラクターなので、アニメキャラのように考察されて好き嫌いが論じられ、アニメキャラのように消費される。
posted at 23:06:02
ハロウィンなのでピエロの仮面をかぶって地下鉄に乗るか
posted at 22:53:24
研究室におもろい本無いかなと探してたら何故か伊藤潤二の漫画が置いてあってウケた
posted at 20:43:47
ヘルシーサラダ https://pic.twitter.com/vERla7mqpB
posted at 20:12:46
one-shot delimited continuation(詳細には多分shift0_one/reset0_one)ではなくasymmetric coroutineを採用する理由ってなんだろう、と思ったけど表現力が同じなので名前が違うだけと考えていいんですね。
posted at 19:07:47
空腹を感じるのですなあ〜
posted at 18:50:57
首里そばを食べて応援しに行きたいですねえ…
posted at 18:01:26
@T_kam13 モンハンですでに大敗してんだよなぁ…
posted at 17:35:51
@T_kam13 まじでやっちゃいそうで戦々恐々してる
posted at 16:57:25
P5R買ったら絶対遊んじゃって破滅するやんwと思って買ってなかったはずなのに、発送メールが届いてて完全にスタンド攻撃を受けている
posted at 16:08:38
一般に人間がダメという感じがある
posted at 15:56:22
関数型プログラミングに興味がある高校生が遠方から来るっちゅーのでほぉ〜んと思いながら研に来たら誰もいなくて草原
posted at 14:36:44
歩道の道幅を広くする工事が、GTAの世界観なのか、ガードレールを付ければいいと思うのに街路樹を頑なに抜かない。
posted at 14:27:21
グラデュアル リキッドタイプ インファレンス(576)
https://arxiv.org/abs/1807.02132
posted at 14:03:41
今日は疲弊した大学生のコスプレ!
posted at 13:37:58
10月終わるのもう少し早く告知してくれよな~
posted at 02:01:25
これ早く届いてほしいんすけど
https://dream.tex-design.com.tw/products/shinobi?variant=16969888137306…
posted at 01:06:21
これなんすわ…
posted at 00:52:44
[大室家]3巻
10月31日(木)発売………★
https://www.amazon.co.jp/dp/4758079838/ https://pic.twitter.com/qQh6aE7bkd
Retweeted by びしょ〜じょ
retweeted at 00:52:38
家で研究してしまうので研究室でアニメを観たのはバランスが正しい
posted at 22:06:27
match e with
| K x y when x = z -> ...
| others
は
match e with
| K x y ->
if x = z then ...
else match e with others
みたいな感じでパワーやっていけばOK!!!
posted at 21:44:46
falseの場合次のマッチにいかなければならないので違いますね(死)
posted at 21:36:02
`match e with K x y when x = z -> ...` みたいなマッチャーにガードがある場合の操作的意味論ってどうやって定義すんねん、まあif式のsyntactic sugarとして定義するのが定石かしらね
posted at 21:14:14
deep pattern matchingの定義めんどいんで省略していい? いいよ
posted at 20:39:12
:haskell_dance: とかいう Haskellのロゴが =<<になったり>>=になったりする多動emojiすきだね
posted at 20:20:12
『理想と恋』まじで全部が最高って4月から言ってるンすけど読んでない人類がいるのかよ、なんなら俺が買ったるから読め
posted at 20:05:27
インフルエンザ予防接種に向けて、刺殺される覚悟や毒殺される覚悟を醸造していかねばならない。
posted at 19:19:55
@wakarin111 https://pic.twitter.com/PjP60lai4Q
posted at 18:46:31
@wakarin111 夕飯一緒に食べたことになったな
posted at 18:43:22
おかえり https://pic.twitter.com/5CljFEleAa
posted at 18:28:47
@_this_coma 現地おんで
posted at 18:03:03
@_this_coma 明日から頑張っていこうな
posted at 16:54:43
@_this_coma コマさん社会復帰マジ?
posted at 16:51:15
@wakarin111 もう発売日やん!!!プレイしてるとこ見て絵〜けど進捗出さなアカンので明日夕方までの頑張り次第ですわ…
posted at 16:48:38
@wakarin111 泣けるね
posted at 16:45:46
@wakarin111 申し訳ないが今日はNGなんで明日でどう
posted at 16:39:24
@_this_coma ニート起きたな
posted at 16:38:21
京大に復学したリードエンジニアはきっと圏論とか漸進的型付けの研究するんやろなあ…
posted at 15:29:04
机とかイスとか機材とか一切ないプリミティブオフィスで直射日光もあたってないのでひんやりしてる😎
posted at 15:04:34
@_this_coma 本日むじゃき開店凸で限定復刻食べに行かない?
posted at 13:27:52
default handlerの型付けが面倒そうということを考えていた。トップレベルとローカルでエフェクトの除去を別途おこなう必要があるな。変換も面倒で、グローバルにやる必要があるので手軽に埋め込むことはできない。eeffみたいなFreeでの埋め込みは最後にid handlerみたいなのつけるんでそれの拡張なら
posted at 12:50:43
夢を夢と見抜ける人には(熟睡するのは)難しい
posted at 12:22:38
小学生時代にタイムスリップして俺TUEEする夢を見た。兄が微粒子レベルで存在しない世界線だったのでギャン泣きしたところでメタ意識がそんなに泣くわけないとツッコミを入れたところ起きた。
posted at 12:19:48
あんまり読まれて無くて悲しいのでぜひ読んでください。
"Ruff, a more efficient algebraic effects library for Ruby" by @Nymphium #DEVcommunity https://dev.to/nymphium/ruff-more-efficient-algebraic-effects-implementation-library-for-ruby-2nhm…
posted at 02:06:18
https://nymphium.github.io/ruff/Ruff/Standard/Call1cc.html…
posted at 01:54:43
Rubyのincludeがガバすぎる
posted at 01:44:06
Rubyでcal1cc(ccとは言ってない)実装できたんでヨシ
https://gyazo.com/f6fcceebffe54c657e422d27d0a43f8f.png…
posted at 01:43:16
濃霧の中を歩いてたら髪がベチャベチャになるし喉鼻が濕うし200メートル先の車のテールランプはもう見えないし面白い
posted at 23:37:30
型システムがあっても何も性質を保証しないなら意味ないんで切ってしまってOKになったんで論文が簡単になりましたuntyped language最高!一番好きなtyped languageです
posted at 21:58:14
『Revisiting coroutines』で論じてるモデル言語の操作的意味論が面白いと話題になったのでみんなも面白さ感じてほしい、クロージャを作らずに再帰関数まで定義する意外な方法に一同驚愕ですが分かってしまえばあたりまえ体操が始まってしまう。
posted at 21:43:10
先生とバイブスが共鳴しすぎて夕飯タイムを完全にのがした。
posted at 21:35:30
Lwtを使えばasymmetric coroutinesが実装できるのかしら。だとしたらかなり無視できないがサラッと眺めただけでは分からなかった😭
posted at 13:46:00
暖房で空気がドヨーンとするのうぜ〜〜〜〜〜床暖房にしろ💢💢💢
posted at 13:27:54
店員との親交度を上げまくったので既に捌けた他店舗オープン記念のマグカップを貰ってしまった。
posted at 12:35:25
行きつけのコーヒーショップがハロウィン仕様になっている。
posted at 12:24:09
赤座あかりさんの兄もなかったことにされた、なかったことにされてへんのはお前だけ
posted at 02:30:07
俺達設定でなかったことにされる可能性のある弟としてもな
posted at 02:28:24
OK Google, 環境持たないで代入するタイプの操作的意味論 再帰 定義 方法
posted at 00:50:11
百合漫画 読んだら読み終わる なぜ
posted at 00:20:43
『社畜さんと家出少女』1巻を読んだ。ただ与えるだけの存在ではないところとか友人ちゃんとかが最高ジャン…1巻最後で引きの強い終わり方をしたので続きが早く読みてンだわ
posted at 00:15:59