週末デッドエンド

勉強と日記と怪文書

2021-01-01から1年間の記事一覧

2021-06-25 Fri. — 「人新世の『資本論』」の批判的読書メモと、引用元のジェイソン・ヒッケルについて。

読書 人新世の「資本論」 以下、「本書」と書いたら「人新世の『資本論』」のこと。 第1章の冒頭、ノーベル経済学賞を受賞したノードハウスの論文 “To Slow or Not to Slow: The Economics of The Greenhouse Effect” に対して「一部の環境学者から批判の声…

2021-06-24 Thu. — 数学の授業のことと場面緘黙症のこと。

日記 断酒12日目。遅寝遅起き。寝付けずに遅寝して、14時ぐらいに起きてしまった。 日記を書き始めて思ったのだが、何かネタがないと日記は書けない。当たり前なのだが、エピソードがないと雑談はできない。出かけることも少なくなり、人との交流も希薄にな…

2021-06-23 Wed. — 第一次世界大戦の本を読んだ。

読書 第一次世界大戦(ちくま新書) ちくま新書の“第一次世界大戦”を読んだ。 www.amazon.co.jp 題の通り、第一次世界大戦について各国の参戦状況を網羅的に説明した入門書。第一次世界大戦中に一体何が起こっていたのか、各国の作戦や戦死者・捕虜の数など詳…

2021-06-22 Tue. — 「保守主義とは何か」と「植物の体の中では何が起こっているのか」を読む。

読書 保守主義とは何か “保守主義とはなにか 反フランス革命から現代日本まで”を読んでいる。イギリスの政治家・思想家エドマンド・バークの思想を源流として生まれた「保守主義」という思想を、その歴史から説明する入門書。 よくわからない言葉をメモ。 ホ…

2021-06-21 Mon. — 伊藤真の法学入門を読んだ。

勉強 伊藤真の法学入門 法学の学び方についても記述があるのでありがたい。メモる。 学生向け判例集「別冊ジュリスト○○法判例百選(有斐閣)」というのがある。 IRAC Issue: 論点の抽出 Rule: 規範の定立 Application: 規範に事実を当てはめる Conclusion: …

2021-06-20 Sun. — Adobe XDでウェブデザインした。

日記 断酒8日目。 知り合いのおじさんが、地元で小さな観光ツアー業のような仕事をするのでウェブサイトを作ってくれないかと言ってきた。やったこともないのに安請け合いした。 大げさに言えば企業のコーポレートサイトをつくるわけだ。これがなかなかどう…

2021-06-18 Fri. 2021-06-19 Sat. ウェブデザインがわからない。

日記 断酒6日目–7日目。 サイト制作を依頼されたので、Adobe XDでサイトのデザインをしている。ウェブデザインのこと知らなすぎて、作ったサイトがパワポのスライドのようにしかならない。

2021-06-17 Thu.

日記 断酒5日目。 「伊藤真の法学入門」がKindle Unlimitedで読めるので読んでる。 いま実家暮らしだけど、可及的速やかに出ていきたい。

2021-06-16 Wed.

日記 断酒4日目。 家庭教師。味覚・嗅覚の受容器の話。 アパートの空き部屋の掃除を手伝った。最近出ていった人の部屋なのにものすごい量の埃が溜まっていた。 まとまった時間で集中して勉強するタイプだけど、細かい時間でも集中して勉強したい。

2021-06-15 Tue.

勉強 WordPressレッスンブック サイト制作を急かされたので読む。 Chapter 2 POST ...部はGutenbergの段落ブロックを表す。 WordPressのテンプレートタグ(WordPressが用意したPHPの関数)を使用するためにindex.phpに色々記述。 日本人のための日本語文法入門…

2021-06-14 Mon. 日記。

日記 断酒再開2日目。家庭教師と塾だった。塾では謎の待機時間があったので、暇つぶしで調べ物していた。フォントの仕組みとか、PDFの仕様とか。 itchyny.hatenablog.com www.antenna.co.jp などを読んだ。 あとは第一次世界大戦の本を読んでいた。 ブログに…

2021-06-12 Sat. 2021-06-13 Sun. 「リベラルとは何か」の感想と愚痴日記2日分。

読書 リベラルとは何か 17世紀の自由主義から現代日本まで この本は題の通り、「リベラルとはどういう理念か」を解説する本だった。私も思想的には個人の自由を重視する立場に近い(と自分では思っている)ので、リベラルの思想を理解すべく本書を読んだ。 新…

2021-06-11 Fri. — 鬱々としていた頃。

日記 断酒31日目。 OCamlで言語処理系を開発しようとしたが、こんな手続き的な方法でいいのか?と不安になった。せっかくOCamlなのでできるなら関数型っぽい実装をしたい。 ということで、OCamlでコンパイラ実装してる「実践コンパイラ構成法」という本を注…

2021-06-10 Thu. 再帰ヴァリアント型。木構造。

勉強 プログラミング in OCaml (–§ 6.4. 二分木) 二分木 木構造というデータ構造がある。 - ノード:データを格納する。 - ノードは0個以上の子ノードを持つ。 各ノードの子ノードの最大個数が のとき 分木という。 二分木は再帰的に定義できる: - データを…

2021-06-09 Wed.

勉強 プログラミング in OCaml (–§6.3) レコード、ヴァリアントまで。 楽しみにしてた木構造の話に入った。 The SATySFi Book 最後まで一通り読んだ。英語の資料作りに活用したい。 日記 断酒29日目。集中力に波がある。 今日は早寝早起きした。21時寝4時起…

2021-06-08 Tue.

勉強 プログラミング in OCaml 練習問題 5.5 練習問題の挙動がよくわからないのでトレース。 リストから最初の n 個の値を取り出す再帰関数take let rec take n l = match (n, l) with (0, _) | (_, []) -> [] | (n, x :: rest) -> x :: (take (n - 1) rest)…

2021-06-07 Mon.

勉強 The SATySFi Book (–pp.81; §5.3. 行分割を行うコマンド) 最近OCaml学んでいるおかげで全然読めなかったこの本がすらすら読めるようになってて感激。 Tips 二重引用符はOption+[ と Option+Shift+[で出力できる。 日記 断酒27日目。もうすぐ1ヶ月。やば…

2021-06-06 Sun.

勉強 プログラミング in OCaml 練習問題 5.5 zipの実装までやっつけた。自分で考えるのは楽しい。 シェルプログラミング実用テクニック (–§1.3.8) macOSでやってる。 LinuxとmacOSは親戚みたいなんだけど、親戚ということはもはや全然違うということなので、…

2021-06-05 Sat. — リストの操作、クイックソート

勉強 プログラミング in OCaml (–§5.4 Case Study: 整列アルゴリズム) 畳み込み関数fold 何やってるのかわからないのでトレースする。 let rec fold_right f l e = match l with [] -> e | x :: rest -> f x (fold_right f rest e);; fold_right ( + ) [3; 4…

2021-06-04 Fri. — match 式とリストパターン

勉強 プログラミング in OCaml (–§5.2 リストの要素へのアクセス) 練習問題 4.6 fun x y -> yを、コンビネータsとkを関数適用のみで組み合わせた形で表現する。 予想(間違っている) s k x y --> k y (x y) (* ??? *) --> y となってほしいけど、型付けエラー…

2021-06-03 Thu. — 再帰とか高階関数とか。

勉強 プログラミング in OCaml (–Chapter 4) 練習問題 3.7 # let cond (b, e1, e2) : int = if b then e1 else e2;; val cond : bool * int * int -> int = <fun> # let rec fact n = cond ((n = 1), 1, n * fact (n - 1));; val fact : int -> int = <fun> # fact 4;;</fun></fun>…

2021-06-02 Wed .—プログラミング in OCaml

勉強 プログラミング in OCaml (–3.5 再帰関数まで) 再帰関数難しい。練習問題は明日以降やる。 let 定義 # let one = 1;; val one : int = 1 # let one = "One";; val one : string = 1 この場合、one の値が 1 から "One" に更新されたわけではなく、後か…

2021-06-01 Tue. WordPressレッスンブック。

読書 シェルプログラミング実用テクニック (–1.3.7) MacのTerminalを持て余しているので読んでみた。 iTerm2を導入してみた。GNU CoreUtilsなどを入れたせいか、色の設定がよくわからないことになってしまった。 プログラミング in OCaml (–§2.2) 前は途中で…

2021-05-31 Mon. グラフィクスプログラミング入門と5月の振り返り。

勉強 グラフィクスプログラミング入門 (–ランダムに変化する多角形の描画) WebGLいきなりやるのは少し難しいと感じたのでcanvasで 2D を扱う入門書に入門した。 これはJavaScriptの基礎事項から丁寧に解説していて非常に読みやすい。コメントも丁寧。買って…

2021-05-30 Sun. 完全加法族は無限集合なら非可算集合。

勉強 Real and Complex Analysis ( p.31; Exercises ) 頭を使いたいので演習問題をやってみる。だけど難しすぎて頭すら使えない。悲しい。 神が残した解答があった。 http://www.math.iisc.ernet.in/~rakesh13/Rudin%20Real%20Complex%20Solutions.pdf こう…

2021-05-29 Sat. 教養としての政治学入門の1,2章。

読書 無教養なので本を読んでいる。 教養としての政治学入門 www.amazon.co.jp 1章と2章を読んだ。 第1章 議院内閣制と政党政治 1章だけ調べたことなどメモ。だいたいWikipedia参照。あまり本の本筋には関係ない。 武器装備移転三原則 防衛装備移転三原則|…

2021-05-28 Fri. Chrome拡張開発

開発 アイコンをクリックすると人生の残り時間(!)が表示されるChrome拡張を作ってみる。 web-dev.tech このオシャレ時計の実装を参考に開発する。 途中<p>タグが出てくるが幅が広くなってしまうので、<div>タグにした。 拡張機能のアイコンを押したら数字がポップア</div></p>…

2021-05-27 Thu. エッセイのエッセイを書いた。

日記 断酒16日目。体重が落ちているわけではないけど、体型が前よりスッキリした気がする。むくみがとれたのかな。 今日は何もしていない。 Twitterで読んだエッセイがおもしろかったので、勢いで感想を書いた。

ひろみちおにいさんについて。エッセイのエッセイ。

Twitterでとてつもないエッセイを読んだ。 ひろみちおにいさんといっしょ①#エッセイ pic.twitter.com/e1D7IZ3XhE— エムコ (@m_emko) 2021年5月25日 読んでいて胸が痛む。自分にはこんな文章は到底書けない。毎行おもしろくて読み飛ばす隙を全く与えない。 私…

2021-05-26 Wed. Chrome Extensions

勉強 Getting started - Chrome Developersを読んで調べたことを書く。 Service Worker service worker とはウェブページやユーザーの操作なしに走るスクリプトのこと: "service worker is a script that your browser runs in the background, separate fr…