義務論理について考える

義務論理(Deontic logic)について考えてみます

MENU

学習ログ

英筋を鍛える

職場にいる英語がめっちゃできる人によれば、大学生の頃に発音のトレーニングを何かの本に従ってやって、毎日筋肉痛が続いたが、2か月位続けた頃に、筋肉痛が収まり、きれいな発音ができるようになったらしい。 確かに言われてみれば、口周りの筋肉の使い方…

様相論理 is fun!

1日3題10日で30題みたいな線形学習をやっているうちは初学者。 様相論理は初歩を脱しつつあるが、すべて、Hughes & Cresswell のお陰。 かなりこれに鍛えられている。 本文はあまり読んでいない(あるいは、あまり読めない)けれども。 述語論理の勉強用に二…

小倉弘本

和文英訳教本(青)やってて身震いした。表現力の貧しい形容であるが、神問題集。経験値が微増するだけのザコ問題集が束になっても敵わない。

勉強から得たこと

頑張ることも大切だけど、頑張らなくてもできる方法を考えることが大事。 難しいことをやろうとすると心理的なハードルに直面する。大目標を掲げて、ガチで取り組もうとすると、とりわけ、同時に複数の目標を追いかける場合には、そのうちのいずらかが中途半…

Disりすぎたかも

仕事用のノートパソコンを家に帰ってからかばんから出して開いて起動するのが面倒。家用に二号機を買おうとも思ったけど、他にも買いたいものがあるし、どうしようと思っていたら、Elite X3 ノートドックの存在を思い出す。 オワコンのコンはContinuumのコンじ…

完全だけど不完全だ

アウトプットカス過ぎて、泣き。 命題論理の形式的証明の練習を「Models and Ultraproducts」でやって、Hughes&Cresswellの「Modal Logic」で様相論理の形式的証明をいっぱいやって、validityのcheckもあえてして、教育的配慮にありがたいなぁと思いつつも、…

進歩

10円単位 100円単位 1000円単位 英語と様相論理の勉強に全力をぶっこむことにし、化学の勉強を余力でやることにした。帰って来てからドットインストールをこつこつこなして、簡単な計算機的なのとかを練習で作ることにする。 ユメサクを1日12題やるという日…

はてなブログへのPDFの埋め込み

www.kantahara.com を参考にした。それ以前に、根本的な所をできる人たちに学んで、アウトプットの質を高めないとあかんな。

反省と展望

子どもの自分に勉強しなかったために、こんな歳になって、必死こいて勉強している。 努力の方向を間違えてるかもしれないけれども、失った時間を取り返すつもりで、英語とか高校物理とこ高校物理とかをやってる。 同時代の進んでる人たちに遅れること、もう…

Google スプレッドシートを利用したグラフの描画

英語用のノートの消費量を可視化。 yohshiy.blog.fc2.com を模倣。 グラフにおいて、12月以降の学習量が増加したのは、「ユメサク」を買った影響が大きい。和文英訳を早く卒業したいので、急いでこなさなきゃと思って、毎日さくさくこなしている。以上は心理…

つぶれてる

//

ユメサクの使用感

ユメサクを使い始めて5日間くらいが経った。以前に書店で見かけたときには、使いづらそうに感じたが、実際のところは、この本が中上級者向けだから、当時の自分には難しかったためだろう。 実際、使うならば、先立って、時制や助動詞や冠詞などのルールを身…

ノートの消費量

// 方眼ノートを愛用している。全教科。英語の場合、アルファベットを書くときには、基本的に5mm×5mmマスに1文字にしている。allowにおける"ll"や、"like"におけるli”のような細身の文字が続くときには5mm×5mmマスに2文字入れる。 多分、落ちこぼれあるある…

コピペ

GoogleChartsを使ってグラフを描いてみようと思ったけど、疲れたので、明日やることにする。今日はコピペだけ。 yohshiy.blog.fc2.com //

禁煙3日目

禁煙して3日が経った。睡眠の質が改善されるかどうか試すために禁煙し始めたが、現時点では、効果があったかどうかはよくわからない。 一昨日は、ジュンク堂へ行って、本を買いだめしてきた。行き来のバス車中で、ドラゴンイングリッシュのCDを聴く。 近いう…

禁煙1日目

睡眠の質を改善するために禁煙してみる。改善がみられなければ再開する。 睡眠の質が悪くて困っていて、かといって、毎日薬に頼るのは、気が引ける。ニコチンが睡眠に及ぼす影響は、決して大きくはないだろうけれども、ものは試し。 今日参考にしたやーつ da…

はみがき粉について

はみがき粉のキャップを締めるのがめんどくさい。GUMはキャップが本体と一体になっているからよい。

重要問題集たのしー

今日は二度寝して午後2時まで眠る。「働かないふたり」よんで、この兄弟クズだなwって思ったけど、我が振り直さないと。寝不足でもないのに。睡眠貯金なんか作ってどうする。 働かないふたり 1巻 (バンチコミックス) 作者: 吉田覚 出版社/メーカー: 新潮社 …

ドラゴソイソグリッシュとか

今日は和文英訳教本の3周目とドラゴソイソグリッシュの2周目をやる。どちらも3周するつもり。どちらかを終えたら、英作文の竹岡広信が面白いほど書ける本に手を付ける予定。Z会出版の「入門編英作文のトレーニング」と河合出版の「これが英作文」もあるけど…

気合いだー

今日は気合で「ドラゴンイングリッシュ」を25題ほどこなし1周目を終える。 いつになく快調。「和文英訳教本」と「入門編英作文トレーニング」も進んだ。物理の「名問の森」の問題を1問解いて疲れて、それからは数学に逃げる。この調子が続くとありがたい。 …

少しだけ習慣を変えてみる

昨晩は「ドリーミオ」を買って帰る。12錠で1500円くらい。ドリエルはもっと高い。安眠は高くつくw 今日は、起き掛けにいつも通り英作文をやり(「和文英訳教本」3周目と「ドラゴンイングリッシュ」2週目)、いつもと違って、化学。物理に手を付けず、様相論…

停滞感の打開策

英作文や物理・化学の勉強の学習効率はほぼ限界理論値に到達しているように思うが、様相論理の勉強はほとんど捗っていない。 ただルーティンをこなしているだけで、微塵も創造的な勉強にせよ勉強以外の活動にせよしていない。 長い社畜生活で、あるいは単に…

学習ログ(11/16)

夜更かしと寝酒のせいか寝不足であまり勉強できなかった。 「和文英訳教本」を少しやって、「ドラゴンイングリッシュ」を少しやって、Z会出版の「入門編英作文のトレーニング」を少しやってから二度寝。 起きてから、酸・塩基の問題を2題やって時間切れ。 帰…

学習六ログ(11/15)

起きがけに「ロイヤル英文法」。ただ惰性で毎日読む。 英作文は、和文英訳文教本とドラゴンイングリッシュ。Z会出版の「入門編英作文のトレーニング」も少しやる。この本は冗長。ツッコミどころが多い。実際に効果測定をしたら、この本は他の良書に劣ること…

学習ログ(11/14)

3周目をサクサク進める。 例解 和文英訳教本 (文法矯正編) --英文表現力を豊かにする 作者: 小倉弘,クリストファバーナード,Christopher Barnard 出版社/メーカー: プレイス 発売日: 2010/07/01 メディア: 単行本 購入: 3人 クリック: 63回 この商品を含むブ…

学習ログ

日課の英作文。3周目。初~中級者向けの問題集としてはおそらく最強。物理・化学の問題集をやるときと同様に、できなかった問題に×とか△の印をつけて、できるようになるまで繰り返しやっている。 例解 和文英訳教本 (文法矯正編) --英文表現力を豊かにする …