なんとなくメモAn Applicative is a Monoid in the category of endofunctors, what's the problem?monadとかapplicativeとか、めっちゃ役にたつのってなんでだろうと考えてみた。ようは、関数fとかgとかがあって、それを合成して何かプログラムができたとし…

lyxで図式を書きたくなった。 キッカケは、 ald-d@2019年はスッスッスを見ろ on Twitter: "ちなみにこんな感じで書いています…… " のツイートそもそもlatexで図式を書く場合は、amscd、Xy-pic、TikZなどがある。 図式の書き方について : 圏論 | 壱大整域さて…

これ にしたがった。pathが通ってないので、~/.bashrc に以下を追加する必要があります export PATH=/usr/local/cuda-8.0/bin${PATH:+:${PATH}} export LD_LIBRARY_PATH=/usr/local/cuda-8.0/lib64${LD_LIBRARY_PATH:+:${LD_LIBRARY_PATH}} export CUDA_HOME…

散逸系の変分原理のセミナーをします。 二本立てで、山口哲生氏の「破局的力学現象の高精度発生予測：座屈，破壊から地震まで」の次に発表になります。WMANP - Masato Kimura web site 散逸系の変分原理 物理法則の中には「ある汎関数に停留値を与える現象が…

cabal hellから逃れるにはstackを使うのが良さそう。以下は設定。 Haskell環境構築_20151226_最新版_4_投稿済み_stack-1.0.0対応版.md - QiitaInstall/upgrade - The Haskell Tool Stack からstackのバイナリをもってくる。 適当な場所に置く。 pathを通す。…

語ろう「数理解析」にある通り、以下の発表をします。 ＝＝＝＝ 語ろう「数理解析」５月のセミナー＠芝浦工大（豊洲）のご案内 ＝＝＝＝＝＝日時 平成２８年５月１４日（土） １４：００〜場所 芝浦工業大学 豊洲キャンパス 教室棟５Ｆ５０５号室講演１： １…

ついに圏論ブームがやってきましたね。epiが環準同型だと全射になるとは限らないのはなんでかと聞かれたので考えてみました。参考圏論：モノかつエピな射 再び - 檜山正幸のキマイラ飼育記 abstract algebra - Showing two ring homomorphisms that agree on…

mac風のキーバインドに設定した。http://tuyop1.hatenablog.com/entry/2015/11/08/103657/ [小ネタ] El CapitanでMicrosoft Narural Ergonomic Keyboard 4000を使う – NaviPlus Engineers' Blog

mactex2015にImageMagickが含まれてなかったので、画像を取り込むことができなかった。 El CapitanでのLyXの画像挿入 – Konno Log やったこと、 lyxとmactexをアンインストール homebrewでImageMagickとghostscriptをインストール (ghostscriptは先に入れと…

4月29-30日QRPG2016 量子と古典の物理と幾何学@福井 をやります。トップページ - quantum-classic2016 @ ウィキ - アットウィキ アブストラクト - quantum-classic2016 @ ウィキ - アットウィキ

2月12日に北海道大学Mathematical Modeling倶楽部（HMMC)で「変分原理による対称性、エントロピー増大則、良設定問題を考慮した散逸系モデルの定式化」を話します。http://www-mmc.es.hokudai.ac.jp/els/seminar.html第52回 2016年2月12日（金） 16:30〜18:0…