追記：いくらなんでもあまりにも長いので、配列演算に焦点を絞ってより「Rustっぽさ」の気持ちを強調した姉妹編を書きました。手っ取り早く雰囲気を掴みたい方はこちらもどうぞ。 TL;DR GHC 9.0 から Haskell に入った線型型（Linear Types）の機能を一部割とガッツリ使ってみたので、Linear Haskell の現在の使い心地と将来の展望を報告するよ。 使おうと思えば使える段階にあるけれど、一部バグもあるし、まだ言語機能面で実装が追い付いていない部分もあって、快適に書けるようになるにはもうちょっと掛かるよ。それでも実用しようと思えばできるレベルにあるよ。 RustのようになるにはLinear Constraintsに期待。 更新履歴 2023/12/15 11:45 姉妹編へのリンク追加。 2023/10/01 12:30 線型性を納得してくれない場合の \eta-展

ChatGPTのヤバいところは、論理処理が必要だと思っていたことが、じつは多数のデータを学習させた確率処理で解決可能だと示したことだと思います。 たとえば、このように正規表現にマッチする文字列を生成するには、特別に専用の論理処理が必要だと思っていました。 前のブログのときには特殊処理が必要だと考えてましたね。 ウソはウソと見抜ける人じゃないとChatGPTを使うのは難しい - きしだのHatena けど、123_45678world.mdはマッチするのにマッチしないと言っているので、そのような誤りが入ることを考えると、どうも確率処理だけでやっているようです。 考えてみると、3層以上のニューラルネットであれば論理素子を再現できるので、ディープラーニングで論理処理を模倣することは可能なんですよね。 バックプロパゲーションでニューラルネットの学習 - きしだのHatena そもそも論理は、多数の

■女オタクって顔の良い悪役を偏愛する傾向にあるよな 「男もそうだ」という反論は反論になってないので潰しておく こんな記事を読んだ。なんとなく嫌な予感がしてブクマコメントを読んでみたのだが… 案の定、「男もそうだ」が連呼されていた。いわく、反論になってるだろ、らしい。 …いや、あなたたち、論理の初歩も知らんのかい。 「女はそうだ」は男に対しては何も言及していない。「男もそう」かも知れないし「男はそうでない」のかも知れない。筆者は男性について何ら主張していないんだよ。 「女はそう」の否定は「女はそうでない」だ。これを直接証明できないなら対偶「そうでないなら女でない」の否定「そうでないなら女だ」を言わなくちゃならない。何にせよ「男もそう」は無関係の主張ですよ。 こうした知識は理系の大学なら論理学の講義で最初に習う。興味のある人は調べてみてほしい。図書館でよい入門書が借りられるはずだ。 私は常々、

「日本・世界平和議員連合懇談会」会長代行、奥野信亮衆院議員この記事の写真をすべて見る 旧統一教会と自民党との関係についてさまざまな指摘があるなか、旧統一教会の友好団体と自民党の国会議員らでつくる「日本・世界平和議員連合懇談会（平和議連）」の会長代行、奥野信亮衆院議員は「何が問題なのかわからない」と主張する。本当に問題はないのだろうか？　奥野議員がAERAdot.に詳細を語った。 【画像】世界平和連合が議員に選挙応援の要望を尋ねた”異例”のアンケートはこちら 平和議連は、元閣僚を含む自民党議員が役員を務め、会員数は80人を超える（総会資料から）。今年6月の総会では、平和議連の顧問で、旧統一教会の友好団体である世界平和連合の会長などを務める梶栗正義氏が講演。翌月に控えた参院選についても話し合った。 総会で配られた資料にはアンケート用紙も入っており、質問には「次期参議院選挙の地方区で、世界平和連

「論理的思考」の落とし穴――フランスからみえる「論理」の多様性 『「論理的思考」の社会的構築』著者、渡邉雅子氏インタビュー 社会 「ロジカル・シンキングを身につけよう」「これからの教育に必要なのは論理的に話す・聞く・書く能力である」……論理的に考え、書いたりプレゼンテーションしたりする能力はビジネスや教育分野でもてはやされ、現代では欠かせないスキルとして広くうたわれている。 しかし改めて考えると、「論理的」とはなにか？ 「論理的」であることは何に立脚しているのか？ どこでも共通する普遍的なものなのか？ 『「論理的思考」の社会的構築』を著した渡邉雅子氏は、「「論理的」だと感じる思考や論理の型は、実は文化によって異なっており、それぞれの教育の過程で身につけていくものだ」と指摘している。本稿では、「論理」の多様性やその社会的構築過程、小論文教育から見えるフランス独自の論理のあり方、日本におけるア

菅義偉首相は30日の参院本会議で、日本学術会議の会員任命拒否判断への批判に対し、会員の所属大学別データを示して反論した。東大、京大など「七つの旧帝国大学に所属する会員が45％を占めている」と述べた。

第1節　数学の3つの柱と位相空間論の役割　大学の数学科で学ぶ数学には，実に様々な分野があります．それらは主に次の3つの分野に類別されることが多いです． 【解析】 【代数】 【幾何】 純粋数学は，厳密な論理を土台として展開されます．解析・代数・幾何，それぞれの分野にも特有の論理の土台が存在します．解析なら実数や微分などの論理，代数であれば群や環の論理，そして幾何なら空間の論理などです． 位相空間は幾何学を展開する上で最も基本的なものである連続概念の論理的な部分を扱う分野であると言えます． 空間の中では，連続変形や微分積分など様々なことが行われます．そのなかでも空間の連続性に着目し，それを突き詰めて考えていくと出てくるのが位相空間という考え方です． 私たちが空間を思いうかべるとき，そこには必ず連続という考え方があります．空間の中で図形を「連続的に動かす」とかグラフが「連続的につながっている」な

皆さんは、キリンを冷蔵庫に入れる方法をご存じだろうか。中島らも氏の小説「ガダラの豚」には、キリンを冷蔵庫に入れる方法について、次のように説明されている。 多くの人々がこの解答を聞いたときに「ずるい」と感じるようだ。しかし、キリンを冷蔵庫に入れる方法は、論理的思考を学ぶ上で典型的な例題のひとつにすぎない。古より日本では論理的に正しくても役に立たない理屈のことを“屁理屈”と呼ぶ。しかし、たとえ現実的に役に立たないとしても、論理的には正しいのが屁理屈である。そしてもちろんゲームは現実ではないので、屁理屈であろうと立派に役に立つのだ。特にこのゲーム──『Baba Is You』においては。 『Baba Is You』は一言でいえば“キリンを冷蔵庫に入れつづけるゲーム”だ。「キリンが冷蔵庫に入るわけがないだろ！」などと考えてはいけない。「キリンが入る巨大な冷蔵庫があればいい」「キリンが冷蔵庫に入るほ

上西充子・法政大学キャリアデザイン学部教授*1が高度プロフェッショナル制度（いわゆる「高プロ」「残業代ゼロ法案」）をめぐる加藤厚労大臣の答弁の不誠実さを「ご飯論法」として批判し、辞任を求めている。 高プロの「異次元の危険性」を指摘した小池晃議員に、「#ご飯論法」で否定してみせた加藤大臣は、辞任を(上西充子) - 個人 - Yahoo!ニュース 記事の中でぼくのことも触れてくれていますけど、上西先生、本当に律儀な人ですね…。*2 「ご飯論法」とは上西が特徴づけた言い逃れ答弁の論法で、「朝ごはんを食べましたか？」という質問に「（朝、パンは食べたけど、ごはん＝米飯は）食べていない」と答えるようなやり方である。 共産党の小池晃参院議員が“この制度が通ったら４日間休ませれば、あとはずっと働かせることが、104日間を除けばずうっと働かせることができることになる。そういうことを法律上排除するしくみがある

hal 【C99木曜日東S-13a】 @hal_goshuomo 名指しで言うけど、「ドロップブックス」と「youbook」、先程警察に著作権侵害で相談し、捜査するとの事です。サイト管理人の元には警察から警告連絡を送るとの事なので、管理人、警察から連絡来たらそれ本物なのでよろしくです。この事はTwitterで言っていいと警察から許可も貰ってます。 2018-01-05 12:45:03 臼坂宥花 @Chack_634 @hal_goshuomo お疲れ様です。 ですが、 「そういう所を使わないと 所有できないし 読めもしない人」が ほんの少しだとしても 存在するという事を お忘れなく。 DMMさんにしたって 虎穴さんにしたって、 すぐ行ける… すぐ買える人は 限られているのですから。 2018-01-06 01:07:52

２０１１年３月１１日の「東日本大震災」より、５年の歳月が流れました。 震災でなくなられた方々に対して、ここに謹んで哀悼の意を捧げます。 さて、最近RADIO FISH（オリエンタルラジオ＆４人のダンサーのユニット）の歌う「PERFECT HUMAN（パーフェクト・ヒューマン）」という曲が話題となっています。 ＜「PERFECT HUMAN（パーフェクト・ヒューマン）」＞

相手に「どうしてそうしたのか」を答えさせた上で、「しかしそれは間違っている」と論理的に説明し、さらに「それなのにどうしてそうしたのか」を答えさせる、というプロセスを繰り返して相手の逃げ道をどんどん奪っていく作業のことを、敵対的ソクラテスと呼んでいる。ソクラテスは相手との対話を繰り返し、「あなたはなぜそう言うのか」という問いを問い続けて最後に無知の知の地点にまで至らしめる。同じ行為がここでは相手を追い詰める方向へと作用する。 この敵対的ソクラテスを仕掛けられた相手は最終的に、泣くか、逆ギレするか、真っ白な顔で「はい。はい。」しか言わなくなる。 相手を追い詰めるためや、自分の身を守るためにこうした攻撃は使用される。ヤクザや取り立て屋といった職業上の必要性（？）からそうされたり、嗜虐的な嗜好を満足するために実行されたり、あるいは他人から自尊心を攻撃されて仕方なく正当防衛的に使用されたりする。 し

ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で

平素は株式会社ライブドアのサービスを ご利用いただきありがとうございます。 提言型ニュースサイト「BLOGOS」は、 2022年5月31日をもちまして、 サービスの提供を終了いたしました。 一部のオリジナル記事につきましては、 livedoorニュース内の 「BLOGOSの記事一覧」からご覧いただけます。 長らくご利用いただき、ありがとうございました。 サービス終了に関するお問い合わせは、 下記までお願いいたします。 お問い合わせ

この画像を大きなサイズで見る パラドックスとはある前提に対して、全く違う（しかしどちらも誤りではない）方向性から、お互いに矛盾し合うが、どちらも正しく思える結論を導き出してしまう現象の事だ。 過去数十年にわたり、パラドックスは哲学の分野で大きく注目されている。ここでは世界的に有名な10のパラドックスを紹介しよう。 アキレスと亀（ゼノンのパラドックス） この画像を大きなサイズで見る 「アキレスと亀」は紀元前5年の古代ギリシャの自然哲学者エレア派のゼノンによって提唱されたパラドックスだ。このパラドックスの物語はかの有名なアキレスがリクガメと徒競走を行う所からスタートする。 アキレスはレースが始まる前、リクガメとの競争を平等にするため、リクガメを500メートル程先の地点からスタートさせる事にした。もちろん人間であるアキレスはリクガメより足が速いので、直ぐにリクガメに追い付き始める。 ここでアキレ

論理的思考とは他者が自分の思考過程を検証できるように思考を進めていくこと、あるいは、そのような思考の進め方のことを言う。他者が自分の思考過程を検証できるようにするということが論理的思考の特徴である。 なぜ、論理的思考が必要になるのかと言うと以下の二つがその理由 説明：自分の考えていることを他人に理解してもらうため 可視化：何かを考えるときに「他人の目」を自分の内部に導入するため そもそも、他人に説明したり、理解してもらう必要がないならば論理的に思考する必要はない。直観や霊感にしたがって何でもやれば良い。でも、他人に理解してもらうため、あるいは納得してもらうためには、自分がどういう理由で、何を、どう考えたのかを相手にわかる形で示さなければならない。 他人が自分の思考過程を検証できるように思考を進めていくと、自分の思考過程が可視化される。可視化することにより、一歩引いた視点で、検討範囲に漏れは

「エンジニアの学び方」第3章の帰納の例で数学的帰納法を例にあげているのですが、「数学的帰納法は帰納ではないのでは」という質問がありましたので解説を書きました。 なぜ「数学的帰納法は演繹」という主張が生まれたのかに関して id:shuyo さんとの議論を通じて僕は「ペアノの公理が導入されたことで、それ以前の数学的帰納法で帰納が使われていたステップが『自然数の定義』で置き換えられて演繹だけが残ったから」という理解に到達したのでペアノの側の主張も併記しておきました。 参考文献：科学と仮説 (岩波文庫)

日本のサヨクが言っていることは惚れ惚れするぐらい間違っています。集団的自衛権の行使はサヨクが反対しているので正しい政策なのです。また中国や韓国が反対する我が国の政策は基本的に正しいのです。中韓などが賛成するような政策も必ず間違っているのです。だから集団的自衛権の行使は正しい。