読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog
論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』（世界思想社、1991年（新装版2021年））も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる（他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる）。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい（あとは自分で考えるから）》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち
ルーターでプレゼンする。 - Zopfcode
市販のネットワークルーターやスイッチに導入することで、元々のファームウェアでは実現できなかった高度な設定や最新のプロトコルが利用できる Linux ディストリビューションの OpenWrt は、2004年の登場から今年でちょうど20周年を迎えた。90年代の Linux ルーターという概念の勃興から、ルーター向け Linux ディストリビューションは DD-WRT や Tomato など複数生まれたが、現在もサポートと新機種の追加が続くほどの活気を保っているのは OpenWrt だけといっても過言ではない。 そんな記念すべき20周年を盛り上げるべく（？）久しぶりにルーター遊びをしたので紹介する。 （本記事は2024年4月26日に岡山理大で開催された Okayama Revengers LT 大会 #2「もう春じゃなぁ〜 LT大会でもするかぁ！」にて発表した以下のスライドを文章にしたものです。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
