ていへんかけるたかさわるに

3 時起床.

3 時起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
剛性の数学について述べられる.
正多面体に関する様々な工学上の剛性に関する発見と並行して, 純粋数学としてコーシーやセルバーグが貢献したということは初めて知った.
この事実に限ってのことではあるが, いかに抽象的であろうと数学と自然との関係に思いを馳せてしまう.

それから数学をやる.
圏論の教科書を読み進める.
Par$\acute{\textrm{e}}$ による "反変冪集合関手 (contravariant power set functor) $P : \mathbf{Set}^{\mathrm{op}}\rightarrow\mathbf{Set}$ はモナド的 (monadic) である" という定理とその証明を読む.
非常にきれいな定理である.
途中まで証明を読んで疲れてしまった.
続きは明日にして区切りを付ける.

朝食をとる.
納豆と卵かけご飯と味噌汁.

午前中は OpenBSD のアップグレード作業の続きなどを行う.

昼前に買い物に行く.
野菜や魚を買った.

何だか疲れた.
帰宅して少し休む.

夕方に食事.
貝の刺身盛り合わせと蕎麦と大根おろし.

片付けて布団に入る.

/usr/src 以下のライブラリーのソースのコンパイルでエラーが出て止まっている.

/usr/src/gnu/usr.bin/clang/libclangAST/../../../llvm/clang/lib/AST/Interp/ByteCodeExprGen.cpp:119:18:
error: no member named 'emitCast' in 'clang::interp::ByteCodeExprGen'
    return this->emitCast(*FromT, *ToT, CE);
           ~~~~  ^
/usr/src/gnu/usr.bin/clang/libclangAST/../../../llvm/clang/lib/AST/Interp/ByteCodeExprGen.cpp:204:26:
error: no member named 'emitRem' in 'clang::interp::ByteCodeExprGen'
    return Discard(this->emitRem(*T, BO));
  ・ ・ ・ ・
20 errors generated.
 *** Error 1 in gnu/usr.bin/clang/libclangAST (:67 'ByteCodeExprGen.o': @c++ -O2 -pipe  -fno-ret-protector -mno-retpoline -ffunct...)
 *** Error 2 in gnu/usr.bin/clang (:48 'all': @for entry in include/llvm/Config libLLVMSupport libLLVMTableGen llvm-tblgen inc...)
 *** Error 2 in gnu/usr.bin (:48 'all': @for entry in clang cvs binutils binutils-2.17 perl texinfo; do  set -e; if test -d /u...)
 *** Error 2 in gnu (:48 'all': @for entry in lib usr.bin usr.sbin; do  set -e; if test -d /usr/src/gnu/${entry}.amd64; then  ...)
 *** Error 2 in . (:48 'all': @for entry in lib include bin libexec sbin usr.bin usr.sbin share games gnu sys; do  set -e; if ...)
 *** Error 2 in . (Makefile:97 'do-build')
 *** Error 2 in /usr/src (Makefile:74 'build')

調べてみると, 上記エラーメッセージにあるとおり, 確かに /usr/src のソースコード内には emitCast, emitRem などの関数が存在しない.
ただ, 自分が C++ について知らないのでそれ以上深く原因を探るのが難しい.
引き続き調べてみるが, /usr/src のソースコードがアップデートされるのを待つということも並行して進めていきたい.