あ、server の更新しなきゃ

bitwarden ならいつでも最新が無料

OSv 触ってるとリソース管理のデータ構造増やさなきゃ……ってときにも気軽に std::map とか std::vector を kernel の中にブチ込めて便利

Kawaii hota

Slack は買われました。あーあ

Salesforce - Salesforce Signs Definitive Agreement to Acquire Slack https://investor.salesforce.com/press-releases/press-release-details/2020/Salesforce-Signs-Definitive-Agreement-to-Acquire-Slack/default.aspx

富士そば、別の店で従業員働かせ休業扱い　助成金を申請：朝日新聞デジタル https://www.asahi.com/articles/ASND156J7NCVUUPI005.html

残高に年利1％の利息提供　新たな形の銀行目指すKyash - ITmedia ビジネスオンライン https://www.itmedia.co.jp/business/articles/2012/01/news081.html

ほたさんはニンジャ……？

ズームなりオートフォーカスなりでｳｨﾝｳｨﾝ言うのはどちらかというとレンズですが、新しくてン十万もするやつだと静かかつ高速にｽｰｯと動いてすぐ合焦する。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

復刊ドットコム

関数型インターフェースなるものが生え forEach なども使えるように

lambda とか生えたのが Java 8 なので 6 年ぐらい前？

わりと前に

このアカウントは、notestockで公開設定になっていません。

あっ Docker と Hyper-V を不可分かのように考えている人だ

「ゆるキャン△」で家キャンプ 東山奈央、花守ゆみりがフルボイス出演 - ライブドアニュース https://news.livedoor.com/article/detail/19309464/

ラテン文字で正書法のひと、Twitter はみてる

これ知ってる人なかなかお目にかかれない

ふぁふぃふふぇふぉ

中世の発音で行こう

このアカウントは、notestockで公開設定になっていません。

Prolog はやってないけど述語論理をホーン節にして推論するのを手動でやるやつはやった

そゆの京大、東北大、筑波大あたりが強い印象ある。あと名古屋大とかも？

少なくとも日本の大学院は講義重視ではなくてどちらかというと研究を通じたアクティヴラーニング的なやつだと思うので計算の意味論とかは学部の講義のどこかにはなると思うけど、そういうのぜんぜんやらないとこはやらないしなんともだ

物理か

というか専攻は CS ではないのか。

学校に依る

これ脳内がどうとか言ってなくて Lazy K だと入出力の同期の機構がないことに留意せよ、としか言ってない気がする（Haskell の IO Monad は純粋函数型的に IO の順序が記述出来る重たい仕組みなので実装とか大変だけど IO の ordering は保証できる

まあそこまでプラグマティックに考えると計算機の計算モデルとか色々否定するような気もするのでそれはそれこれはこれでいいんじゃない？と思ってます。なにをどうモデリングしても実際は無限の紙テープなんかないしレジスタマシンで動いてるわけだけど、それでもモデルとして抽象化することで得られる考えや気付きもあるわけじゃん？という

Monad を誤魔化しと書いたのはそこ

言及されてた

建築とかでも 2 × 2 とか言うし。

さんすうだと 2 times 2 だけど、by two （ふたつづつ）を two につけて、2 をふたつづつ、つまり 2 × 2 なので……

一般的だとおもう

あそこらへん学際的というか、数理的・科学的なものと工学的・実際的なものの鬩ぎ合いだと思うので、やってるひとたち良くやるわという気持ち。

いってしまえばモナドは C 言語のような手続き的なものにも数理的なモデルを与える研究、と思えば良さそう。

オブジェクト指向プログラミングは数学的ではないけれどソフトウェア工学的なモデリングがあって Dr. Alan Kay の独創などがあっただろうけれど、それはそれとして形式的な記述や抽象化の研究も後に生まれてたりとか。

それはそれとして Haskell なんかは記述が宣言的かどうかという以外に先に数学的なモデリングや抽象の実践と実証という目的があってそれで妥協せず Monad のような道具まで作り出したんだろうし、逆に C は単に当時の計算機を操作するためだけに工学的な実践の要請で生まれたのだろうから「手続的」というのに当時はとくに数学的モデルは無かっただろうし

函数型かどうかって言語などに紐付くというよりは、計算の記述として宣言的<->手続的に書くかの話で、宣言的に書けば函数型寄りですね、みたいな

函数型かどうかとか言語としてのモデリングの話は色々な断面やレイヤーがあると思っている

Cg って実際書いとるひとおんのかなあ

OCaml なんかは () 型（unit 型）返す函数で副作用は許容しちゃってるし、「函数型」だからといってべつに必ずしも純粋であることは要請されないし、なんなら C 言語でも頑張って函数型っぽく実装できなくもないわけで、まあ程度の話かなあ

実際 IO Monad の実装でも State# RealWorld という実世界の状態を表す値を中に Monad に包んで引き回してバケツリレーさせてるし

誤魔化しとは言ってもそこを純粋だと言い切るために色々な道具立てやモナド則とか圏論の言葉でモデリングして頑張った、んじゃない？

Monad のような誤魔化しなしでは副作用が書けないから、そういう意味でプログラミングに必須なはずの I/O とかは純粋な世界では書けない、というのは間違いではない

@cmplstofB 単に framework として見たときは、副作用のある操作が型で明示されるし、Monad の函数のチェーンと純粋な函数の部分がはっきり分離できる（というか分離が強制される）から便利、という認識。

@cmplstofB （実装でそのようになっているかはともかく）、IO Monad を返り値にしておいて、副作用として作用する対象の世界（IO ならターミナルとか）そのものを返り値にしてしまえば、副作用ではなくただの作用になるし、副作用のある関数を連続で実行するのと同様の操作についても、Monad で包んで返した環境を受け取って操作をして Monad で包んで返す、という建付けにしておくと、参照透過なままで居られる気持ち

@cmplstofB 私もべつに函数型は詳しくもないし未だにちゃんと書ける気はしないけれど、Haskell における Monad は圏論との絡みや抽象的定義は一度置いておいて、実用的には、たとえば文字出力だと常に unit 型とか返しておけば参照透過性は担保できるけど副作用が前提になるからよろしくないのを、Monad に包んでしまって解決するという認識

最近 blogspot の私の記事はもう内蔵のエディット画面開いても HTML モードで HTML 手書きしちゃってるので、あまりにもアレ

blogspot の機能でバックアップ取ると、ペライチの xml 吐いてくれちゃうのでそこからどうこうする気力がなかなか無かった

べつに何が悪いというわけではないが blogspot の WYSIWYG エディタが作る HTML は div だらけであんまり好きではないし、そもそも技術メモ置き場として使っているのでそのメモが独立した plain text であったほうが私にとって都合が良いので何年も前から引き上げたいとは思ってたけどずるずる放置してたので、blog2md とかでサクッと変換できることを知ってようやくやる気が出てきた

@cmplstofB モナドで純粋性を維持するのでちょっと違う