黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
2013年07月30日(火)
非公開
タグ：
posted at xx:xx:xx
takahiro(John Smith) @superhoge
Hi guys. I made the PDP11 emulator with JavaScript. You can run UNIX V6 on your web browser. I hope you enjoy it! pdp11-js.googlecode.com/git/unixv6.html
タグ：
posted at 04:54:24
2013年07月29日(月)
人力ヘリコプターコンテストに勝者現る | ダビンチも喜ぶだろう。人力ヘリコプターによる垂直上昇という難しい課題が、33年目にしてようやく達成された。３メートルの高さで60秒以上浮上していること、という問題がクリアされたのだ。makezine.jp/blog/2013/07/h...
タグ：
posted at 12:20:40
2013年07月28日(日)
2013年07月18日(木)
ヴァイオリンは小さいヴィオラ @BratscheKlavier
実生活ではほぼ『じゅっぷん』と発音しているから『じゅっぷん』で出るのは百歩譲って許す
だが『じっぷん』では変換できないというのはいかがなものか
正しい読みが失われてしまう
おっと！？
『どくせんじょう』も出ないぞ！？
タグ：
posted at 00:17:25
2013年07月15日(月)
#掛算 ではなく、中学校の #理科 なのですが、教科書準拠の参考書を見つけました。Google Booksで各教科書会社、各学年、各分野のものが公開されています。
bit.ly/18jhUER。「教科書 ワーク」で検索すると他教科もいろいろ見つかります。
posted at 22:11:25
これが女川２号機建設所長だった阿部壽さんらが1990年に発表した貞観津波に関する最も有名な論文だ。出典を貼付するから井戸川君はこれを読みなさい。
阿部 壽・菅野喜貞・千釜 章（1990）仙台平野に.. togetter.com/li/534018#c115...
タグ：
posted at 21:04:02
おいおい！「東北電力の大罪」とはどういう事だよ。東北電力は千年前の古文書「日本三代実録」まで遡って貞観津波の堆積物調査を独自に行い，当時の国よりも津波想定を厳しく見積もって建設されたのが女川発電所だ.. togetter.com/li/534018#c115...
タグ：
posted at 21:00:55
2013年07月14日(日)
Γ, α |- β Γ |- α∧￢α
------------- ---------------
Γ |- α→β Γ |- β
のように一々context明記するようにすれば, 正しくない式とか出てこないのでは.
タグ：
posted at 19:26:24
あるいは 【途中に矛盾が出るのが駄目】 ということから, 仮定 Γ がunsatisfiableであること自体が駄目だということなのだろうか. よくわからない.
タグ：
posted at 19:17:28
証明中の論理式 α が(その文脈での仮定 Γ のもと)正しいというの, Γ |= α ということなのだろうか. その場合, 背理法の途中の部分では Γ がunsatisfiableゆえ Γ |= α だから, 何れにしても正しいのでは.
タグ：
posted at 19:16:22
www.ma.kagu.tus.ac.jp/~abe/sub1.html 【ここの主張は、仮定の下、(1)が数学的に正しいので、それから(論理規則の)推論により導かれている(2)(3)もすべて数学的に正しく】
タグ：
posted at 19:12:30
ma.kagu.tus.ac.jp/~abe/index.html 【背理法の仮定は結果的に正しくないので、これから(背理法の)証明中には、暫定的に『正しくない』主張が『導かれ』ます。】
タグ：
posted at 19:03:17
www.ma.kagu.tus.ac.jp/~abe/index.html 【「その否定命題を仮定して矛盾を導き、命題を証明する」証明法を背理法とよんでいます。また、仮定つきの証明でも、途中に矛盾がでていなければ、非背理法証明と呼んでいます。】
タグ：
posted at 19:01:00
@y_bonten 実際には「証明不能」ではなく「正しくない」という言い方がされています. 一方でHilbert流の体系は非背理法的であるといった主張もあったため, そのように要約しました. www.ma.kagu.tus.ac.jp/~abe/
タグ：
posted at 18:45:53
@y_bonten twitter.com/functional_yy/... ということです. すなわち, 彼は背理法というのを, 数学者の使う意味でも, ロジシャンの使う意味でもない意味で使っています. (但し, 当初は背理法の定義すら意識せず使っていたようですが.)
タグ：
posted at 18:28:08
脱背理法教育については、影響を受けた学生への対応が喫緊の課題だろうと思うけど、現状がわからないので動きようがありません。同僚の方々がうまく無効化していれば良いのですが。
タグ：
posted at 17:46:54
対電波三原則①電波を議論によって説得しようとしてはいけない。電波は聞く耳を持たない。②電波との議論をする場合は公開前提で行うこと。③必要なのは相手を論破することではなく、公衆に相手の電波っぷりについて警告を与えることである。
タグ：
posted at 11:45:46
『有限責任会社』をとりあげて，デリダの圧勝と言っている人がいたと記憶している（大澤真幸せんせいか，北田暁大せんせいか，出典を失念）．ああいう発言をいくつか収集しておきたい．心当たりのある方はご教示くださいまし．
タグ：
posted at 06:49:53
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
2013年07月13日(土)
論理学クラスタが散々某氏の主張の不備を指摘しまくったために, 彼のいう背理法の意味がその度ごとに変化してゆき, ``推論図中に(最終的に残る仮定のもとで)証明不能な論理式が現れるような論証"ということになったのだが, それゆえに以前までの主張と矛盾するなどしており感慨深い.
タグ：
posted at 23:53:45
www.ma.kagu.sut.ac.jp/~abe/index.html 【「背理法(または否定導入)でなければ証明で きない定理がある」 と主張している人は数理論理学に関しては素人であるという良い判断材料になります。】 深い哀しみに包まれている.
タグ：
posted at 21:05:48
