好きなことを、適当に。2016-11-15Coqで既存の定理、定義に従って計算する。Coqブログ移転しました。genkami.github.ioCoqで既存の定理、定義に従って計算する。2016-11-15Coqで前提の矛盾から定理を証明するCoqブログ移転しました。genkami.github.ioCoqで前提の矛盾から定理を証明する2016-11-13Gaucheで文字列のシーケンシャルアクセスGaucheブログ移転しました。genkami.github.ioGaucheで文字列のシーケンシャルアクセス2016-11-03Gaucheでロード時定数を作るGaucheブログ移転しました。Gaucheブログ移転しました。genkami.github.ioBasic認証の方法を理解する2016-11-01Gaucheでクラスのフィールド名を変数に束縛する。Gaucheブログ移転しました。genkami.github.ioGaucheでクラスのフィールド名を変数に束縛する。2016-10-31Schemeと各括弧Gaucheブログ移転しました。genkami.github.ioSchemeと各括弧2016-10-29Gaucheでソースコードのあるパスを取得Gaucheブログ移転しました。genkami.github.ioGaucheでソースコードのあるパスを取得2016-10-28Gaucheで#<eof>を返すGaucheブログ移転しました。genkami.github.ioGaucheで#<eof>を返す2016-10-21Schemeにおける「多値」という概念についてGaucheブログ移転しました。genkami.github.ioSchemeにおける「多値」という概念について2016-10-13Gaucheで値の比較Gaucheブログ移転しました。genkami.github.ioGaucheで値の比較2016-10-12GaucheでデバッグGaucheブログ移転しました。genkami.github.ioGaucheでデバッグ2016-10-10Gaucheでreturn文Gaucheブログ移転しました。genkami.github.ioGaucheでreturn文2016-10-05coq-modeとproofgeneralでcoq環境を作るCoqブログ移転しました。genkami.github.iocoq-modeとproofgeneralでcoq環境を作る2016-09-02Gaucheに継続を「実装」するGaucheブログ移転しました。その3Gaucheブログ移転しました。その32016-08-31libraryとexecutable両方を含むcabalパッケージを作るHaskellブログ移転しました。genkami.github.iolibraryとexecutable両方を含むcabalパッケージを作る2016-08-30Pythonにおける弱参照Pythonブログ移転しました。genkami.github.ioPythonにおける弱参照2016-08-29stackでプロファイリングを有効にしてビルドするHaskellブログ移転しました。genkami.github.iostackでプロファイリングを有効にしてビルドする2016-08-28ようやくstackを使い始めた話Haskellブログ移転しました。その2Gaucheブログ移転しました。Lispにおける関数の扱いEmacsブログ移転しました。Lispにおける関数の扱い2016-08-25CPSとSSAGaucheブログ移転しました。genkami.github.ioCPSとSSA2016-08-24CPS変換についての覚え書きGaucheブログ移転しました。genkami.github.ioCPS変換についての覚え書き2016-08-23Ook!はSchemeであるGaucheブログ移転しました。genkami.github.ioOok!はSchemeである2016-08-22GaucheのコメントいろいろGaucheブログ移転しました。genkami.github.ioGaucheのコメントいろいろ2016-08-21multi-termで快適なキー操作Emacsブログ移転しました。genkami.github.iomulti-termで快適なキー操作2016-08-20dynamic-windGaucheブログ移転しました。genkami.github.iodynamic-wind2016-08-19Gaucheの複素数Gaucheブログ移転しました。genkami.github.ioGaucheの複素数2016-08-18Gaucheで手続き以外のオブジェクトも呼び出し可能にするGaucheブログ移転しました。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。