hotwatermorning

関数概念の発展から公理的集合論の発展まで

フーリエ級数と関数概念の発展

• 18世紀に熱力学の問題を解くために、フーリエによってフーリエ級数が発明された。
  • 熱伝導方程式と呼ばれる偏微分方程式を解く過程で発明されたもの。
  • $a_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\cos{nx}\,dx,\, b_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\sin{nx}\,dx$
  • $f(x)\sim{\frac{a_0}{2}}+{\displaystyle \sum_{n=1}^{\infty}{(a_n\cos{nx}+b_n\sin{nx})}}$
• フーリエ級数を使うといろいろな関数が三角関数の和として表示できそうということが分かった。
• これは任意の関数で成り立つだろうか？ => そもそも任意の関数とは？

hotwatermorning

cat /dev/stdin | node -e 'console.log( JSON.stringify(require("fs").readFileSync("/dev/stdin", "utf-8")) );'

hotwatermorning

Git Rebase について

Git Rebase とは

リポジトリの歴史を改変できるコマンド。

• 基本機能としてはブランチの付け替えができる。
• その他に複数のコミットを一つにまとめたりコミットメッセージを変更したり、もう少し高級なことができる。

改変できると何が嬉しい？ => コミットログを整理できる。

hotwatermorning

1       15135   {_B     accurately
1       15128   {_B     accurately
1       15143   {_B     accurately
1       15150   {_B     accuray
1       15154   {_B     accurs'd
1       15163   {_B     accursed
1       15158   A_B     accursed
1       15168   A_B     accurst
1       15173   {_B     accus'd
1       15178   @_B     accusal

hotwatermorning

Xcode でリンカーから出力される ld: warning の警告は other linker flags に `-w` を渡すと抑制できる

hotwatermorning

`cmake --build <build-dir> --target <対象のターゲット>` でビルド処理を走らせないと、対象のターゲットのスクリプトが生成されない。

hotwatermorning

`=SUM(INDIRECT("R2C[0]:R[-1]C[0]", FALSE))`
R2 を変えると、どの高さから計算を開始するかを変更できる

hotwatermorning

`.xcodeproj` に環境変数をそのまま記述しても適用されない。

コマンドラインから `xcodebuild -project <Project名>.xcodeproj -configuration <Config名> <設定名>=<環境変数名>` のように指定する。
例) `xcodebuild -project MyProject.xcodeproj -configuration Release BOOST_ROOT_DIR=$MY_BOOST_ROOT_DIR`

hotwatermorning

--sysroot で SDK のディレクトリを指定すればいい

CXXFLAGS=-std=gnu++1z -g -DDEBUG -D_DEBUG --sysroot=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk

hotwatermorning

//https://wandbox.org/permlink/WDyGG2FRC7FNuoXy

#include <iostream>

int main()
{
    // unseekable stream test
    std::ostream &os = std::cout;
    printf("initial state: %d\n", std::cout.fail());
    os << "hello world" << std::endl;