Hatena::Antenna

OKU_s62のアンテナ RSS OPML

おとなりアンテナ | おすすめページ

  1. 2017/04/26 15:07:16 檜山正幸のキマイラ飼育記含むアンテナおとなりページ

    一昨日の記事圏論モダリティ:圏上の非自然構造達」の「僕のモダリティ経験」の節で:
    Relにおける余乗法と余単位も同じ記号Δ, εで表すとして:
    [追記]余可換コモノイド・モダリティの説明はコチラにもあります。[/追記]
    この状況で、我々の行動には次のよ-何もしない。

  2. 2017/03/31 18:25:55 (hatena (diary ’Nobuhisa))含むアンテナおとなりページ

    17/03/31 :
    ■[F#][Azure Notebooks]はじめての AzureF#Notebooks
    Azure Notebooksを試してみました。*1
    Azure Notebooks(Jupyter)は本来検証実験の結果を共有したり、試行錯誤の記録を残す目的で使われることが多いのではないかなと思いますが、技術的なドキュメント対話的に作成する際にも便利そうな予感がビシビシ