好きなことを、適当に。Pagesに移転しましたOthersタイトルの通り。genkami.github.io人生で4回目のブログ移転です。ブログじゃないので全く関係ないページも作れるというのに惹かれて移転してしまいました。Pagesに移転しました2017-06-12Gaucheでセッターを定義するGaucheブログ移転しました。genkami.github.ioGaucheでセッターを定義する2017-05-21楽天で買い物した時に出るメルマガ購読のチェックボックスを自動で外すブログ移転しました。OCamlブログ移転しました。Heap2017-05-08【重要】MacBookを手に入れたら真っ先にインストールするべき最強アプリn選Macブログ移転しました。genkami.github.io【重要】MacBookを手に入れたら真っ先にインストールするべき最強アプリn選2017-05-08githubにssh接続できないLinuxブログ移転しました。OCamlブログ移転しました。OCamlブログ移転しました。Linuxブログ移転しました。環境でホスト上にポートが公開できない2017-05-05sudoで移行先のユーザーの環境変数を使うLinuxブログ移転しました。genkami.github.iosudoで移行先のユーザーの環境変数を使う2017-05-05さくらVPSでシリアルコンソールからログインできないLinuxブログ移転しました。OCamlブログ移転しました。Algorithmブログ移転しました。いろいろなDFAHaskellブログ移転しました。いろいろなDFA2017-02-24Haskellでtest/**/*Spec.hsを全部拾ってテストしてくれるやつHaskellブログ移転しました。genkami.github.ioHaskellでtest/**/*Spec.hsを全部拾ってテストしてくれるやつ2017-02-20rsyncでポート番号を指定するブログ移転しました。正規表現とDFAHaskellブログ移転しました。正規表現とDFA2017-02-11Coqで型クラスで群論Coqブログ移転しました。genkami.github.ioCoqで型クラスで群論2017-02-10Coqで型クラスでモナドCoqブログ移転しました。genkami.github.ioCoqで型クラスでモナド2017-02-09Coqで型クラスCoqブログ移転しました。genkami.github.ioCoqで型クラス2017-02-07Elmの型関連が弱すぎてつらいElmブログ移転しました。genkami.github.ioElmの型関連が弱すぎてつらい2017-02-06Elm始めてみました。Elmブログ移転しました。genkami.github.ioElm始めてみました。Productsブログ移転しました。genkami.github.ioムシャクシャしたのでテトリスを作った2017-01-25型クラスのインスタンスが複数ある場合の話(Haskell編)Haskellブログ移転しました。parameterによる型クラスの罠Scalaブログ移転しました。Algorithmブログ移転しました。Gaucheブログ移転しました。genkami.github.ioNeedleman-Wunsch法により配列の大域アラインメントを求める2017-01-20OCamlの値の比較についてOCamlブログ移転しました。genkami.github.ioOCamlの値の比較について2017-01-19OCamlのmatch文とbegin..endOCamlブログ移転しました。genkami.github.ioOCamlのmatch文とbegin..end2017-01-18教養としてCOBOLに触れてみるOthersブログ移転しました。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。