マガジンのカバー画像

記録

42
本
運営しているクリエイター
み。

今日の記録 2020/7/14

やってたことIPv6への変更による（？）家内のサーバーを外部公開ができなくなってしまったこと…

み。
み。
3年前
1

今日の記録 2020/7/9

昨日今日でやってたこと 主にゲームの回線安定のため、 IPv6 を使えるようにプロバイダの変更…

み。
み。
3年前

今日の記録 2020/7/7

勉強したみんなのデータ構造 - P125 問6.8 昨日の続きで実装を考えていたのだがつまってしま…

み。
み。
3年前

今日の記録 2020/7/6

仕事AWS（s3）を使って静的ホスティングのやり方を調べて、実際にページを公開するようにした…

み。
み。
3年前

今日の記録 2020/7/3

勉強したシステムの科学 - P149~153 P150で出てくる「デザインコスト」というのが何なのか分…

み。
み。
3年前

今日の記録 2020/7/2

前回の記録から今日まで私生活がかなりバタバタしていた。いろいろあったのだが、特に大きいこ…

み。
み。
3年前
1

今日の記録 2020/6/26

勉強したGEB - P221のTNT問題の準備 P222 の6つの TNT の正しさを考えてみたのだが合っている気がしなかった。(3)までと(4)で全称記号が存在記号の内側にくるのだが、これによってどのような意味の変化が起こるのか分からない。そこでヒントになりそうなものを探してみた。 このページでは Fab という関係を「a は b を愛している」として、∀x∃yFxy は「全ての人はある人を愛している」とし、∃y∀xFxy は「ある人が全ての人に愛されている」というよう

み。

今日の記録 2020/6/25

勉強したみんなのデータ構造 - P125 問6.8 の準備 渡されたノードの ID を使ってツリーを探索…

み。
み。
4年前

今日の記録 2020/6/24

勉強したシステムの科学 - P144~147 この範囲で、なぜ現実の問題を定式化するのが難しいのか…

み。
み。
4年前
1

今日の記録 2020/6/23

勉強したプログラミング Erlang - P171 ~ P177 実装の続き。前回の stdio が見つからないとい…

み。
み。
4年前
1

今日の記録 2020/6/22

勉強したGEB - P217~221 TNT での自由変数・束縛変数の概念と、限定記号（存在記号と全称記号…

み。
み。
4年前

今日の記録 2020/6/21

勉強したみんなのデータ構造 - P125 問6-7 一昨日に実装できた深さ優先探索をベースに pre, i…

み。
み。
4年前

今日の記録 2020/6/19

仕事ワイヤーフレーム作成に、 JUSTINMIND というものを使ってみている。 これで作ったものを…

み。
み。
4年前

今日の記録 2020/6/18

勉強した みんなのデータ構造 - P125 問6.7 pre-order, in-order, post-order は各ノードが子に対していつ数えられるかという考え方で良さそう。日本語に訳すと余計分かり辛くなる気がした。どう実装すればいいか迷ったのだが、order を持たないツリーを渡すと、各ノードに order が付与されたツリーを返す、というような実装方法でやってみることにした。そうして pre-order を実装しようとしてみると、これは単に深さ優先探索をしていく

み。