hirschkalb's blog

"I beseech you, in the bowels of Christ, think it possible that you may be mistaken."

論理的・論理風

半数以上が平均以下

一瞬「ん?」ってなるので数学オンチなんだよなあ私は。

Lonligaques

「論理学をつくる」、ようやくPremだとかReitだとか→elimだとか→introだとか、そういう規則をあつかうところまで差し掛かった。ちょっとPremとかReitとかラテン語っぽくて偉そうでいい。PremitusとかReitumとか→elimnesとか→introbusとかだったらもっとかっ…

x=y

双子のいるひとと付き合っていたひとが、ある日、双子の一方と浮気しちゃった……つもりが実は同一人物でした。こういうときって、ライプニッツ的には浮気はなかったわけだけど、そして出るとこ出ても浮気とはならないんだろうけれど、でも、なんかこう、確実…

同様に同じらしい

<a href="http://hirschkalb.hateblo.jp/entry/2015/02/01/145811" data-mce-href="http://hirschkalb.hateblo.jp/entry/2015/02/01/145811">記号の経済? - hirschkalb's blog</a>hirschkalb.hateblo.jp ちょっとまえにこういうことを書いてい…

前例がある

ドヤって閉鎖タブロー描いたけど「論理学をつくる」の先のページをパラパラとめくっていたら同じことを考えていた学生がいて、解決編があるっていうね。織り込み済みだったようで。

すべて全角記号でやる決意のあらわれ

「論理学をつくる」(戸田山和久、名古屋大学出版会)の練習問題32の(5)(131ページ)はこういう解き方ではだめなのかな。 結論「私はカンガルーを避ける」の論証の妥当性を確かめる。 前提の集合と、結論を否定したものとからはじめたタブローが閉鎖タブ…

定義を決めれば消える問題

どこからが改ざんか。音楽の不可逆圧縮は改ざんか。下手な翻訳は改ざんか。本人より本人っぽいものまねは。においのコピーは。

聴こえてますか見えてますか

校内放送「誰々先生、いらっしゃいましたら職員室までお戻りください」 国語教師「放送が聴こえていたら《いらっしゃる》のだし、放送が聴こえていなければ《いらっしゃらない》のだから、《いらっしゃいましたら》は余計である」 という場面がかつてあった…

教室で何かをすると成績上位群の成績は下がり成績下位群の成績は上がる

平均への回帰じゃないんですかね。(平均への回帰って言いたいだけのダイアリ)教室でホワイトノイズを流すと注意散漫な生徒の学習効果が上がるが、普段から集中できる生徒には逆効果 - GIGAZINE

野球解説者か!(その3)

自分たちのサッカーができないことの基準=負ける ↓ 自分たちのサッカーができない=負ける 「自分たちのサッカーができなくて負ける」=「負けるので負ける」 ↑ 説明になっていない。

野球解説者か!(その2)

無理な線表の基準=開発者が締切を守れない ↓ 無理な線表=開発者が締切を守れない 「無理な線表だから開発者が締切を守れない」=「開発者が締切を守れないから開発者が締切を守れない」 ↑ 説明になっていない。

野球解説者か!

スルースキルがないことの基準=スルーできない ↓ スルースキルがない=スルーできない 「スルースキルがないからスルーできない」=「スルーできないからスルーできない」 ↑ 説明になっていない

スルースキル観測者効果?

ほんとスルーするのはむずかしいです。スルー力を高めるのはもっとむずかしい。なぜって……。 スルー力高低の基準はどのようにして測られるか。 言い換えれば、スルー力の高さ・低さの基準は何か。 このことを考えてみると、意図的に高めることの難しさがわか…

「不利な場合は短期決戦がお得」の例示とみせかけた個人的Gistデビュー

卓球やテニスのように、ポイントを一つ一つ積み重ねていくスポーツで勝つのは、かなりシビアなことである。相手の実力が勝る場合は短期決戦に限るのである。[…] 2)コンピュータの乱数関数を使えば、BASICやPascalでも一〇~二〇行くらいの簡単なプログラム…

学問未満

テーブルコーディネートのお教室を開いている知人は、 「生徒さん達が、うちで学んだことを実生活に生かしているのかと思うと、別にそうでもなかったりするのよ。彼女達って、単に『お稽古に来る』っていうことが好きな人達なのよね」 と、言っていました。…

時相論理とカキフライと判例

「カキフライが無いなら来なかった」 いずれにせよいま店の中にいる(∵「行かなかった」ではない&無いことは入店しないと判明しない)★ カキフライがあると思ったので来た▲ 今回はカキフライが目当てである■ カキフライの有無が店に行くか行かないかを左右…

深夜のラジオスター

エウダイモニア問題、私は最後まで騙してくれれば狐で結構派なので(そのような私を観察している人たちがどれほど居ようとも、その人たちが私をどれだけ哀れもうとも、私は最後まで騙される設定によりそれら哀れみに気づくことが絶対にないので)、やっぱり…

おまそう

「想定外のことがいずれ起こることは想定内!」 想定外のことが起こらなかった→想定外だった→想定内 想定外のことが起こった→まさに想定外だった→想定内

2封筒問題と出生前診断(仮)

『思考実験リアルゲーム』の2封筒問題のお話を読んでいたら出生前診断のことが思い浮かんだのでとりあえずメモ。 2封筒問題における「開封」と、出生前診断によって生まれてくる子どものことが予めわかることについて、何か関連して考えられそうという、そ…

リアルが滑りこむ

また読書メモ。『思考実験リアルゲーム』。 「無知条件」は「知らぬが仏」っぽい。 「永劫回帰」は「二度あることは三度ある」っぽい。 この回帰って、時間は関係ないのかな。あー、空間が無限に広ければ、まさに同時に起こっている箇所もあるわけか。ううむ…

シュレ猫的……なの?

ジョブズさんはいいました。消費者は自分のほしいものを知らない、と。これは次のうちどの意味に近いでしょうか。 消費者の心のなかにはあらかじめほしい物は決まってあって、しかし、それが何であるかを消費者自身は自覚できていないのだ。(「こういうもの…

駒の捉えかた

ブラック企業の社長にとって従業員は次のうちどれか、という問ができそう。行動主義か、機能主義か、心脳同一説か……。「どんなにこき使っても、新入社員は毎年生まれる」といういいかたは、とりあえず心脳同一説ではなさそう。将来精巧なロボットができた暁…

新しき減量法LLF

ひとり論理フェスタ開催期間中につき*1。『思考実験リアルゲーム』(三浦俊彦著、二見書房)たのしい! 私のような頭でもあるていど使ってやるとちゃんと体重が減るっぽい。もうこれ以上減らねえなって思っていたら、最近また2キログラムの減ですから脳のエ…

神ですのよ

一般的にプログラマは理神論の神で、フィクションの作者は有神論の神らしい。 人工知能におもしろいショートショートを作成させる「作家ですのよ」は……どっちだ?

反例潰し

~P∨Q ⇔ P→Q という関係(「→」を消去できるかのような操作)がよくわからなかった私のためのメモです。 何がよくわからなかったかというと、「または」の含まれた表現が「ならば」の含まれた表現に変わるところ。どうしてそういうことが言えるのかといった…

記号の経済?

『下半身の論理学』(三浦俊彦著、青土社)、浮気相手が付き合っている相手と同一人物ならば浮気はなかったという浮気の消去の仕方とか、再婚相手が結婚している相手と同一人物ならば再婚はなかったという再婚の消去の仕方とか、目からうろこです。 新たに述…

就活の論理学ごっこ

インスパイアドバイ『下半身の論理学』(三浦俊彦著、青土社)。 xは学生、yは企業とし、Txを「xは本音を語る」、Pxを「xは望みどおりの相手に会いやすい」とする。 Tx→~Px 「学生は本音を語ると望みどおりの企業に内定しやすくなくなる」(1) ~Tx→Px 「…

理由

思考実験:RKを使う理由をあくまで表記の合理性や説明のつけやすさに求めるならば、より合理的に表記でき、より説明のつけやすい(ゆえにRKとは異なる)表記法*1があたらしく開発されたとき、RK使用者はそちらに移行するだろうか。 まあ、しないだろうと思っ…

【発作定期】歴史的仮名遣(い|ひ)?の周辺

いま読んでいる本の、論の進め方がなんかもういちいちかっこよく感じるので、読み終えたらそのうちやろうと思っていたけれどもう我慢できず、ちょっとさっそく私の興味のある分野に持ち込んでまねてみる日記。 GK擁護論を(1)GKとRKの違いを縮小する消極的…

藁人形ファクトリメソッド──Straw man (Person!) Factory Method

ことばの問題、とりわけかなの問題の吸引力の強さよ。助けて! 短歌を志向したかのような短文ですが。うっかりしてるとエネルギーと時間とを奪われる。 「どうあるべき」(規範・価値)と「どうしてみたい」(欲望)と「どうしている」(本音)と「どうであ…