日記

• [2015年4月26日] Aterm MR03LNを一ヶ月ほど使った感想
• [2015年3月26日] Aterm MR03LNを買った
• [2015年2月27日] 東大入試理系数学2015第5問（解いてみた）
• [2015年2月25日] Macのストレージを空けた
• [2014年12月11日] TeXを勉強したい
• [2014年11月25日] 学園祭で来場者に複素関数を教えた話
• [2014年11月6日] 自作PCにWindows 8.1を導入した (2)
• [2014年11月6日] IIJmioの格安SIMを1ヶ月間使ってみた感想
• [2014年11月1日] 自作PCにWindows 8.1を導入した
• [2014年10月4日] IIJmioの格安SIMを買った
• [2014年8月6日] ECMAScriptでのいくつかの数学関数の実装
• [2014年8月5日] 八元数について
• [2014年7月11日] ベクトル束のテンソル積
• [2014年6月27日] Five LemmaのダイアグラムチェースをするWebページを作った
• [2014年6月22日] The middle 3×3 lemma
• [2014年6月15日] アーベル圏を勉強している

数学系の記事

• リー群とかリー環とか
  • R³のベクトル積とso(3)のメモ
  • SU(n) と SO(n) が弧状連結であることの証明
  • SO(2) と SO(3) が弧状連結であることの簡便な（？）証明
  • 一次分数変換と球面の回転の話(0)
•  書評とか
  • SpringerでCWMのPDFを買った
  • 圏論の本
• プログラミングのテクニックである自動微分についてのシリーズ
  • 自動微分(0) — 導入
  • 自動微分(1) — 1変数の場合
  • 自動微分(2) — 偏微分係数への一般化
  • 自動微分(3) — 高階導関数の計算
  • 自動微分(4) — 数学的(幾何学的)に見る
• 数学関連のWebアプリ
  • 三角形の五心を表示するWebアプリを公開した
  • Five LemmaのダイアグラムチェースをするWebページを作った
  • 学園祭で来場者に複素関数を教えた話
• アーベル圏
  • アーベル圏を勉強している
  • The middle 3×3 lemma
  • Five LemmaのダイアグラムチェースをするWebページを作った
• その他
  • ベクトル束のテンソル積
  • 八元数について
  • 滑らかな曲線をベジエ曲線で近似する
  • ガンマ関数の計算（Lanczos近似）

プログラミングの記事

• 依存型を持つプログラミング言語、Idrisを試してみたシリーズ
  • Idrisで遊んでみた(0)
  • Idrisで遊んでみた(1)
  • Idrisで遊んでみた(2) — 自然数に関する命題の証明
  • Idrisの有界な自然数で遊んでみる(0)
  • Idrisの有界な自然数で遊んでみる(1) — 証明をつける
• ECMAScript / TypeScript
  • ECMAScriptでのいくつかの数学関数の実装
  • TypeScriptで組み込みオブジェクトを拡張できない
  • TypeScript 1.4がいい感じ
  • TypeScript 1.5でのlet文
• Haskell関連
  • さくらのレンタルサーバーにGHC+Cabalを導入した
  • Cabal sandboxのメモ
  • QRコードを生成するHaskellライブラリを試した
• システムプログラミング言語Rust
  • Rustから直接C++を叩いてみる

カメラや画像処理の記事

• デジカメで撮った写真を外出先でスマートフォンに転送する方法まとめ
• デジタル一眼レフカメラとスマートフォン、タブレットの連携
• コマンドラインで画像を合成したりいろいろできるツール、ImageMagickについて
  • ImageMagickの使い方に関する自分用メモ
• ffmpegを使って微速度動画を作るメモ

その他技術系の記事

• 東大の学務システムが使いにくいのでなんとかしよう（Firefoxを使っている人向け）
  • UT-mateの使い勝手を上げるGreasemonkeyスクリプト
  • MyOPACの使い勝手を上げるGreasemonkeyスクリプト
• distccとclangを使って異なる環境のマシンで分散コンパイルする
• GIMPとゲームパッド on Linux
• 自作PCとWindows
  • 自作PCにWindows 8.1を導入した
  • 自作PCにWindows 8.1を導入した (2)
• モバイル
  • IIJmioの格安SIMを買った
  • IIJmioの格安SIMを1ヶ月間使ってみた感想
  • Aterm MR03LNを買った
  • Aterm MR03LNを一ヶ月ほど使った感想

このサイトの他のコンテンツ

• チャイラボタン
• 複素関数で遊ぶWebアプリ
• 複素関数で遊ぼう
• たのしい複素積分
• 三角形で遊ぶWebアプリ