hiroki_f さん プロフィール

  •  
hiroki_fさん: hiroki_fの日記
ハンドル名hiroki_f さん
ブログタイトルhiroki_fの日記
ブログURLhttp://d.hatena.ne.jp/hiroki_f/
サイト紹介文物理、数学など
参加カテゴリー
更新頻度(1年)情報提供12回 / 365日(平均0.2回/週) - 参加 2008/08/03 08:39

hiroki_f さんのブログ記事

  • 過去の記事 …
  • [圏論]monadとかapplicativeとか
  • なんとなくメモAn Applicative is a Monoid in the category of endofunctors, what’s the problem?monadとかapplicativeとか、めっちゃ役にたつのってなんでだろうと考えてみた。ようは、関数fとかgとかがあって、それを合成して何かプログラムができたとしよう。機能拡張 [続きを読む]
  • lyxで図式を書く。
  • lyxで図式を書きたくなった。キッカケは、聖戦アルゴドゥーさんのツイート: "ちなみにこんな感じで書いています… https://t.co/OllNjGGNrH"のツイートそもそもlatexで図式を書く場合は、amscd、Xy-pic、TikZなどがある。図式の書き方について : 圏論 | 壱大整域さ [続きを読む]
  • ubuntu 16.04でのcuda 8.0の設定
  • これ にしたがった。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=/usr/local/cuda [続きを読む]
  • stackを使う
  • cabal hellから逃れるにはstackを使うのが良さそう。以下は設定。Haskell環境構築_20151226_最新版_4_投稿済み_stack-1.0.0対応版.md - QiitaInstall/upgrade - The Haskell Tool Stackからstackのバイナリをもってくる。適当な場所に置く。pathを通す。vi ~/.bash_profile [続きを読む]
  • epiが全射にならない例
  • ついに圏論ブームがやってきましたね。epiが環準同型だと全射になるとは限らないのはなんでかと聞かれたので考えてみました。参考圏論:モノかつエピな射 再び - 檜山正幸のキマイラ飼育記abstract algebra - Showing two ring homomorphisms that agree on the integers mu [続きを読む]
  • lyxの設定
  • mactex2015にImageMagickが含まれてなかったので、画像を取り込むことができなかった。El CapitanでのLyXの画像挿入 ? Konno Logやったこと、lyxとmactexをアンインストールhomebrewでImageMagickとghostscriptをインストール (ghostscriptは先に入れとくと良いらし [続きを読む]
  • Ubuntu 15.10のメモ
  • sshの設定$ sudo apt-get update$ sudo apt-get install openssh-server$ service ssh statussambaの設定https://www.howtoforge.com/tutorial/samba-server-ubuntu/に従った。一度、これで設定するとnautilusからでも共有設定ができるようになる。最初からGUIでやろうとす [続きを読む]
  • 過去の記事 …