以下の記事を参考にさせていただきました。ありがとうございます。 Ubuntu上でtexをコンパイルしてpdfとして保存する - Qiita TeX入門 http://www.math.u-ryukyu.ac.jp/~tsukuda/computer/tex/files/xypic-example.pdf texliveをインストールしました。 圏論…
対角線定理(Diagonal Theorem) 積を持つ圏で考える。 対象が以下の命題1を満たすならば、任意のendomap は少なくとも１つの不動点を持つ。 すなわち、を満たす点が存在する。 命題1 射が任意の射をパラメタライズできるような対象を持つ。 すなわち、と表せ…
デフォルトでMathJaxに対応していたようだ。ヘッダに何も指定していない。 文中の式。 ラグランジュ方程式はです。 可換図式も書けた。\\を\\\に変えたら改行されるようになった。
configureの階層にbuildディレクトリを作らないとエラーになった。 $ mkdir build $ cd build $ ../configure --target=aarch64-linux-gnu --disable-nls --disable-shared --disable-multilib --disable-libgomp --disable-threads --enable-languages=c,c+…
起動 tmux window分割(1つのwindow->複数のpane) 水平分割 c-b " 垂直分割 c-b % pane移動 # 巡回 c-b o # 往復 c-b ; スクロール c-b [ # ↑↓でスクロールできる # g <行番号>でも移動できる
rustupを用いたrustコンパイラツールのインストール 以下のURLからインストーラをダウンロードする。 https://rustup.rs/ 以下のように、binをPATHに追加する。 source $HOME/.cargo/env インストールされるツール cargo rustc rustdoc 新規プロジェクトの作…
以下を読み始めた。 Foreword - The Rust Programming Language
今さらですが、TensorFlowをインストールしてみました。 pipのインストール $ sudo pacman -S pip TensorFlow 1.5のインストール 1.9だとillegal instruction (core dumped)になってしまったので1.5を指定しました。 $ pip install tensorflow=1.5 --user ち…
Exercise 1がわからなかった。円板Dの境界(円周)をCとする。包含写像に対して、連続写像がを満たすとき、別の連続写像f: D -> Dに対して、が成り立つことを示す。を仮定する。 円板D上に異なる2つの点f(x), g(x)をとることができる。この2点を結ぶ線分を延長…
Scott Mayers著, 小林健一郎訳, Effective C++ 第3版, 丸善出版(2014) を1日1項目読んでいます。 今日は14項を読みました。 リソース(メモリ、ファイルディスクリプタ、ミューテックスロック、DB接続、ネットワークソケットなど)の解放忘れを防ぐにはどうし…
奥さんと一緒に国立近代美術館の熊谷守一没後40年の回顧展に行ってきた。 東京駅の丸善が入っているオアゾがある出口から出て、徒歩で東京メトロ大手町駅に行った。 大手町からは、東西線で竹橋まで一駅だ。 東西線に乗る前に、地下のドトールで軽く食べた。…
圏論について書いてある。絵が面白いな。 www.geocities.jp
2017年は、2017が素数というだけあって、良い年になるだろうと期待していた。しかし、僕にとっては、まあまあ普通の年であった。2017年は、数学を趣味にしようということで、数学の啓蒙書や数学者の自伝、高校～大学1、2年向けの本を読んだりしていた。神保…
今日は、朝起きたら、パリパリの日だった。 パッキパキで、目の奥が痛くなるような青い空が、小さな窓を一色にしていた。 鉛の液体が脳、首、肩に詰まっていた。 急激な気圧の上昇による症状だと直感した。 いや、それは言い訳かもしれない。 週末の仕事の悩…
最近、寒いですね。 Pythonをかじっていて、お仕事で少し役立ったのは、リスト内包表記です。 テストケースを入力の組み合わせに応じて、作成するときに使えました。 for文でやっても同じですが、ネストが深くなります。 また、リスト内包表記の方が速い? 今…
9.3.1. クラス定義の構文～9.7. 残りのはしばし までやった。 classのコンストラクタは、__init__(self, arg1, arg2, ...)と書く コンストラクタやメソッドの第一引数はselfと書く慣習 x.f() という呼び出しは、 MyClass.f(x) と厳密に等価 Pythonではクラス…
8.1. 構文エラー～9.2. Pythonのスコープと名前空間 をやった。 例外のcatchはtry, exceptでやる。else節に例外が発生しなかったときの処理が書け、finally節にクリーンアップ処理を書く。 except ValueError: などのように、例外のクラスを指定できる。 exc…
6.1.2. モジュール検索パス～7.2.2. jsonによる構造化されたデータの保存 をやった。 パッケージはディレクトリ、モジュールは.pyファイル パッケージのディレクトリには、__init__.pyを置く(空でもよい) ファイル入出力のモードには以下がある "r", "rb", "…
5.5. 辞書型～6.1.1. モジュールをスクリプトとして実行する をやった。 以下メモ。 辞書のキーにできるのは、イミュータブルな型だけ。すなわち、文字列、数値、タプル。 dict(ペアのリスト) (ペアのリスト->辞書)の逆は my_dict.items() (辞書->ペアのリス…
5.1.4. ネストしたリストの内包表記～5.4 集合型 をやった。 以下メモ。 ネストしたリストの内包表記を書くことができるが読みづらいので、zip関数を使った方がいい In [1]: matrix = [ ...: [1, 2, 3, 4], ...: [5, 6, 7, 8], ...: [9, 10, 11, 12], ...: ]…
4.7.6 ドキュメンテーション文字列～5.1.3 リストの内包表記 をやった。 以下メモ。 リストはappendとpopにより、スタック(LIFO)として使える キュー(FIFO)としては、collectionsモジュールからdequeueをimportして以下のように使う In [15]: from collectio…
4.7.2 キーワード引数～4.7.5 ラムダ式をやった。 以下メモ 下記のような関数が書ける(argumentsは可変長引数、keywordsは可変長キーワード引数) def cheeseshop(kind, *arguments, **keywords): print("-- Do you have any", kind, "?") print("-- I'm sorr…
Python チュートリアル — Python 3.6.3 ドキュメントを写経してる。 4.7.1 デフォルトの引数値までやった。 以下メモ。 PythonのREPLはpythonよりもipythonの方が便利 for文にelse節があり、breakするとelse節は実行されない 文字列はイミュータブル リスト…
身の回りでベイジアンネットワークなどの言葉をよく聞くようになった。 ベイジアンネットワークは、ビッグデータを解析して、ある現象が発生したときに、何が原因かを確率的に抽出する手法のようだ。 僕としては、このような手法に対して、本当にうまくいく…
a, bは体の元とする. すなわち . のとき, aの乗法の逆元をとすると, 左から掛けて, となり, が成り立つ. よって, 同様に, のとき, . 以上より, .
Kings of convenienceで検索してたら、見つけたピアニストさんのブログ。 Pianist - Miki Ambo エッセイが面白そう。
夏休みなので、Haskellのリハビリのために、「Real World Haskell」を読んでいます。 3章の練習問題に、平面上の点の集合の凸包を求めるGraham scanアルゴリズムを求めよ、という問題があります。 Graham scan - Wikipedia 以下のように書きました。まだ、あ…
0. 環境 ArchLinux 1. Pandocのインストール sudo pacman -S pandoc 2. reveal.jsのインストール git clone https://github.com/hakimel/reveal.js.git 3. スライドのMarkdownファイル作成 vim slide.md 4. Pandocによる変換 pandoc -t revealjs -s slide.md…
この記事は主に自分用のメモであるため、誤りやわかりにくい点があるかもしれません。インストールガイド - ArchWikiや他サイトと比較しながら、参照することをオススメします。 0. 環境 ASUS X553M (CPU: Intel BYT-M 2Core 2840, up to 2.58GHz) 1. LiveCD…
SymPy SymPy pythonの数式処理ライブラリ。 CAS(Computer Algebra System)といい、式変形をすることで方程式などを解いてくれるようだ。 数式処理システム - Wikipedia CASには以前から興味があった。これぞ人工知能という感じだ。 Jupyter Project Jupyter …
