Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @hennin_ltn
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @hennin_ltn
- Pinned TweetThanks. Twitter will use this to make your timeline better. UndoUndo
-
checkoutおまえ!ってなるもんね。
Thanks. Twitter will use this to make your timeline better. UndoUndo -
なるほどいいじゃん。
Thanks. Twitter will use this to make your timeline better. UndoUndo - エナン Retweeted
gitの(新)サブコマンドに「その名の通り」とか言われても信じる気に全くなれない。 「git checkout に出来ることがあまりに多いため」 https://qiita.com/yukibear/items/4f88a5c0e4b1801ee952 … たぶんここ笑いどころ
Thanks. Twitter will use this to make your timeline better. UndoUndo -
あー研究テーマどないしよ。
Thanks. Twitter will use this to make your timeline better. UndoUndo -
デリヘル呼んだら君が来た、歌詞はともかく曲が良すぎて何度でも聴いてしまうしチェンジ叫びたい。
Thanks. Twitter will use this to make your timeline better. UndoUndo - エナン Retweeted
『0から知った気になるAlgebraic Effects』で発表しました。 ご清聴ありがとうございました。 スライドはこちらです。 https://nymphium.github.io/pdf/ae_from_0.html …
#FunFunFunctionalThanks. Twitter will use this to make your timeline better. UndoUndo - エナン Retweeted
私はプログラマ コンパイラを説得するのが仕事です
Thanks. Twitter will use this to make your timeline better. UndoUndo - Thanks. Twitter will use this to make your timeline better. UndoUndo
-
「好きなことを仕事にして楽してる」んじゃないんだよ。「好きなことを仕事にできるよう努力した」のであって、お前は「嫌なことを仕事にするしかなかった要領の悪いやつ」なんだよ。
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
あー喉痛い。
Thanks. Twitter will use this to make your timeline better. UndoUndo -
僕が中高校生の頃はどクソイキりキッズだったのでTwitterにいるみなさんすごいね……という気持ちが絶えない。
Thanks. Twitter will use this to make your timeline better. UndoUndo -
主語が大きすぎると叩かれますが、Twitterでは逆に主語を特大にすることで対象をあやふやにし批判を免れる手法があります。
Thanks. Twitter will use this to make your timeline better. UndoUndo -
クロージャも継続も長らくなんだそれはだったけど、最近はなんとなくわかるになってきた。
Thanks. Twitter will use this to make your timeline better. UndoUndo -
諸概念、「わからん」「なんとなくわかった」「やっぱりわからん」を繰り返して少しずつ理解が深くなっていく。
Thanks. Twitter will use this to make your timeline better. UndoUndo - エナン Retweeted
ヴァイオレット映画で男装しますよ(ダイマ
Thanks. Twitter will use this to make your timeline better. UndoUndo - Thanks. Twitter will use this to make your timeline better. UndoUndo
-
余談ですけど、Schemeの構文 (define 変数名 値) (define (関数名 引数...) 処理) という書き方について、 (define 関数名 (引数...) 処理) の方がよくない?と思うかもしれませんけど、Haskellの a :: Int a = 0 fact :: Int -> Int fact n = if ... やMLの let a = 0 let fact n = if ...
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
(define (関数名 引数...) 処理)はSchemeの関数定義の構文ですね。 このようにprocedure2を継続を受けとる形で書けます。もちろんprocedure-with-ccの引数continuationはprocedure3以下を実行します。
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Schemeのcall/ccはcall-with-current-continuationですけど、つまり (procedure1) (procedure2) (procedure3) において、procedure2で継続を扱いたい場合に (procedure1) (call/cc procedure2-with-cc) (procedure3) (define (procedure2-with-cc continuation) ... (continuation))
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
その流れはわらう。
Thanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.