古典命題/述語論理の証明論・モデル論や、健全性・完全性定理に多少触れたことがないと理解できない可能性が高いです。 また、哲学に関する前提知識は必要ありません(おそらく)。 分かっている人向けの説明 「金子先生や大西先生の文献を追いながら、ダメットの反実在論に関する議論をざっくり整理してスッキリしたい」という気持ちに突き動かされて書いた個人的なメモを、他人に見せられるように整形・拡張したものです。今年言語哲学について学んだことのメモにもなっています。 直観主義論理とはまず、今回のテーマである直観主義論理についての説明をしておきたいと思います(すでにご存じの方は次章に移ってくださって構いません)。いわゆる普通の論理学の体系、古典論理(classical logic)についての知識は前提としているので、知らない方は色々調べて見てください。 さて、直観主義論理を非常に簡単に説明するなら、古典論理の
この記事は社会人学生 Advent Calendar 2021 - Adventarの 16 日目の記事です。投稿が遅くなってしまい申し訳ありません。なんせこれから話す大学の課題に追われていてなかなか執筆の時間が取れませんでした(言い訳)。 私は、Web エンジニアとして働きながら昨年の 9 月からオンライン大学でコンピューターサイエンスを学んでいる 30 代男性です。また、未就学の子どもの育児もしています。 今回は、私が登録している University of the People というアメリカのオンライン大学について、入学してみて感じたこと・学習内容・魅力などを紹介します。同じようにコンピューターサイエンスの学部へ進学したい方やアメリカの大学に興味がある方、働きながら大学で学ぼうと考えている方の参考になれば幸いです。 目次 目次 アメリカのオンライン大学へ行くきっかけ Univers
(TeX & LaTeX Advent Calendar 2021の24日めの記事です。昨日は @wtsnjp による「jlreq + expl3 で学会文書クラスを作った話」でした。他人が使う文書クラス作るのまじすごい) TeXを使っている人たちはよく「コマンド」とか「マクロ」とか「プログラム」について話しています。そういう会話を耳にして「TeXではプログラミングができる」ことを知り、興味を持ったものの、具体的にどこから始めればいいかわからない人も多いでしょう(ほんとに多いのか?)。 ここでちょっとした落とし穴があります。一口に「TeXでプログラミング」といっても、目的や手段や用途に応じて文法や機能や表現能力がまったく異なるいくつかのプログラミング言語があり、それらを使い分ける必要があるからです。つまり「プログラミング言語」という観点から言うと、TeXの本来の目的である「文書の組版」でプ
はじめに これは、ストックマーク Advent Calendar 2021 17日目の記事です。こんにちは、ストックマークでAstrategyというビジネス向けSaaSについて、主にフロントエンドの開発を担当している@tsukkeeです。 Astrategyの技術構成については以前にAstrategyを支える技術: gRPC, Elasticsearch, Cloud TPU, Fargate... SaaS型AIサービスの内側の世界という弊社テックブログ記事で紹介したことがあるのですが、本記事ではその開発環境の一部を紹介したいと思います。 さて、開発環境と言えばテキストエディタですが、皆さん開発にはどのテキストエディタ(またはIDE)を使っていますでしょうか?本記事のタイトルにもあるとおり私はVimを使っています。ただ、Astrategyの開発チームでは使うテキストエディタに制限はなく、
写真01: Windows Subsystem for Linux(WSL)は、Windows 10/11の中でLinuxを動作させるための仕組み この記事では、Windows Subsystem for Linux(以下WSLと表記する)のインストールから基本的な設定までを解説する。なお、記事の読者としては、ある程度Windowsを使い慣れていることを想定するが、必ずしもLinuxのコマンドになれているとは限らないレベルを想定している。 WSLの基本的なこと WSLとは、Windows 10/11の中でLinuxのアプリケーションを実行する仕組みだ。これを利用することで、Windowsの中でLinuxが実行可能になる。また、Windows 11からは、コンソールアプリケーションだけでなく、Linux GUIアプリケーションの利用も可能になっている。現在サポート期間にあるWindows10
世界のイスラム教徒の数がキリスト教徒を上回る日 仏教は減退し、キリスト教は現状維持、イスラム教は繁栄の時代を迎える――。 世界三大宗教と呼ばれる仏教、キリスト教、イスラム教の勢力が転換点を迎えている。将来的にはイスラム教が世界で最大勢力を獲得する見込みで、このような宗教構造の変化は国際政治や生活習慣などにも影響を与える可能性がある。 現在、世界最大の宗教勢力はキリスト教である。世界の総人口73億人のうち23億人(人口比で32%)をキリスト教徒が占めている。次いでイスラム教徒が18億人(25%)、ヒンズー教徒が11億人(15%)、仏教徒が5億人(7%)、民族信仰が4億人(5%)だ。日本の神道は国際的な分類では、「民族信仰」のカテゴリに入る。ちなみに、無宗教は12億人(16%)である。 この宗教構造が、ドラスティックに変化する。 世界の宗教動静を調査している米調査機関ピュー・リサーチ・センター
『イカゲーム』より面白い! 3000本の映画を観てきた男がおすすめる「時間が一瞬で溶ける」Netflix独占3作品とは ライフ・マネーFLASH編集部 記事投稿日:2021.11.06 11:00 最終更新日:2021.11.06 11:00 生粋のインドアである筆者が暇を持て余している方々に贈りたいのは、「Netflixの傑作コンテンツを観ていれば時間なんて一瞬で溶けますよ」という言葉だ。 とは言ったものの、Netflixのコンテンツ数は膨大。そこで、今話題のNetflix独占配信コンテンツを、映画・ドラマ・アニメの3ジャンルから厳選。 【関連記事:佐藤健 Netflix撮影現場が“密”すぎる!エキストラ300人超で地元住民がコロナ感染危惧】 幼稚園児のころより400本を超える1980年~1990年代の洋画VHSに囲まれ、これまでの鑑賞本数は3000本。今なおハリウッドコンテンツを中心に
Home 公務・公共, 社会保障, 経済・税財政, 貧困と格差 消費税増税と「分権」が究極の貧困社会もたらす=「消費税増税不可避」「中央集権より地方分権」というグローバル競争国家にとりつかれた幻想の罠|二宮厚美神戸大学名誉教授 消費税増税と「分権」が究極の貧困社会もたらす=「消費税増税不可避」「中央集権より地方分権」というグローバル競争国家にとりつかれた幻想の罠|二宮厚美神戸大学名誉教授 2015/10/16 公務・公共, 社会保障, 経済・税財政, 貧困と格差 消費税増税と「分権」が究極の貧困社会もたらす=「消費税増税不可避」「中央集権より地方分権」というグローバル競争国家にとりつかれた幻想の罠|二宮厚美神戸大学名誉教授 はコメントを受け付けていません 「アベノミクスをどうみるか – デタラメに飛ぶ3本の毒矢|二宮厚美神戸大学名誉教授」の続きです。2013年5月にインタビューしたものです
GNU Assembler互換(サブセット)のアセンブラをGo言語でフルスクラッチで作ってみました。 開発22日目で自作Goコンパイラ(をセルフホストしたときに出力される20万行のアセンブリ)をアセンブルすることに成功しました。 どうやって作ったかというと、小さいコードを GNU Assembler (以下 as) に食わせて出力されたバイナリを観察する、を繰り返して中のロジックを推定し再現しました。as の実装は見ていません。(一瞬見たけど巨大すぎて何もわからなかった) アセンブラ自作は、やってみるとコンパイラ自作よりだいぶ簡単でハマりポイントも少ないので、学習テーマとしてはおすすめです。2箇所ほど難所(命令エンコーディングのルールを理解するのと、ジャンプ命令の最適化)がありましたがそれ以外はさくさく楽しく作れました。 作ってみた結果、アセンブリ言語の理解が深まったのはもちろんのこと、E
みずほ銀行で2021年8月20日、営業店の窓口業務が全面停止するトラブルが発生した。前日の19日午後8時53分ごろに営業店端末と勘定系システムをつなぐサブシステムで、データベース(DB)サーバーがディスク装置の故障をきっかけに停止したためだ。待機系DBサーバーへの切り替えも失敗、副データセンター(DC)に処理を切り替えた。副DCへの切り替えに着手するまで11時間超を要し、業務開始に間に合わなかった。 みずほ銀行で2021年8月20日、全463店舗で営業店端末や店頭のタブレット端末が使用不能になった。午前9時の開店から午前9時45分までは全ての店頭取引ができなくなり、その後も午前11時58分まで融資や外国為替(外為)の一部取引ができなくなった。営業店端末などと勘定系システム「MINORI」をつなぐサブシステム「業務チャネル統合基盤」が前日の8月19日午後8時53分ごろに停止したためだ。 業務
1908年6月30日、シベリア上空に小天体が飛来し空中で爆発し、一帯の針葉樹林をなぎ倒し70キロメートル離れた農村でも死者が出るなどの被害があった。毎年6月に開催される、小惑星衝突のリスクを考える国際天文イベント「アステロイド・デイ」はこの「ツングースカ爆発」にちなんでいる。 直径50メートル程度の小天体(小惑星または彗星)が爆発したツングースカ爆発は、人の住んでいない地域で発生したため人的被害があったとはいえそこまで大きくなかった。だがこれが都市の上空であればどのようなことが起きるのか、約3600年前の遺跡の発掘から明らかになりつつある。 トール・エル・ハマムと死海の位置。出典:Scientific Reports volume 11, Article number: 18632 (2021) 米カリフォルニア州立大学サンタバーバラ校の研究者らは、ヨルダン渓谷南部の都市「トール・エル・ハ
本書では関数型言語をはじめとして多くの言語にあるパターンマッチをコンパイルする方法を紹介します。パターンマッチはシンプルに条件分岐の連鎖にコンパイルすることもできますが、よく研究された手法を使えば驚くほど効率的なコードを生成できるようになります。そのような手法を2種類紹介します。 パターンマッチはデータ型に照合しそのデータを取り出すものです。例えばRustであれば match opt { Some(x) => f(x), None => g()} のように Option 型への照合などに使えます。本書の前半ではパターンマッチの挙動や使い方などを学びます。挙動の確認にはプログラミング言語Standard MLを使い、一部Cのコードも使います。その後Common LispやJavaなどの他の言語でのパターンマッチの状況を確認します。後半ではパターンマッチのコンパイル技法について紹介します。パタ
小林昌樹(図書館情報学研究者) ■はじめの口上――正直に…… 三ヶ月前まで国立国会図書館という巨大館で調べ物担当をしていたのが私である。子どもの頃、本を書く人はどうして自分が体験したこと以外のことを書けるのかフシギだった。大学で文献注のある本に出会って、頓悟した。彼らは皆、調べ書きをしていたのである。でも、彼らはどうやって本を知ったのだろう? 膨大な図書を所有し、それらを全部読み、かつ憶えているのだろうか? 実はアメリカだと、図書館は文献参照(レファレンス)をサービスの中核にしており、どうやら本の調べ書きにはレファレンスが重要らしいぞ、と知ったのは、就職のため図書館情報学専攻に入り直してからだった。 今回、縁あって皓星社メルマガの連載記事に、先月まで15年ほど従事したレファレンス業務で身についた文献参照の技術――ここでは「参照スキル」と呼ぶ――について書き連ねることになった。30年弱、上記
今の子どもは人工知能より読解力がない、と警鐘鳴らされてるけど、もう少し丁寧に考える必要がある。 私が塾を主宰していた時でも、公立中学で偏差値55以下だと「音読み」の熟語に反応できていなかった。意識、思想、速度、制御、提示・・・音読み熟語を聞いてもピンとこず、ポカンとしてしまう。 そうした子どものご家庭は、NHKを見ない、見たことがないというケースが非常に多かった。見るのは民放のバラエティー番組ばかり。「NHKなんか見る人、いるんですかね?見たい番組一つもないのに、なんで受信料払わなきゃいけないのか」と文句を言ってる親御さんが多かった。 家庭での会話は、単語が多い。文章になっておらず、せいぜい単語は2つ。 そして、音読み単語はほぼ使わない。家庭じゃなく、ウチ、いえ。会話じゃなく、おしゃべり。単語じゃなく、ことば。 このツイートの前半に使っている音読み単語でも、私が指導していた子どもの多くがピ
» 【謎のダンジョン】地下駐車場に忽然とあらわれる謎の中華料理屋「帝里加(デリカ)」に行ってみた! 米津玄師MVの舞台にもなってるぞ 特集 【謎のダンジョン】地下駐車場に忽然とあらわれる謎の中華料理屋「帝里加(デリカ)」に行ってみた! 米津玄師MVの舞台にもなってるぞ 千絵ノムラ 2021年8月2日 人は何故、地下という空間に強く惹かれてしまうのだろうか。そこにはかつての文明の遺跡や、王国の財宝、はたまたRPG世界への強い憧れがあるからだろう。そう、地下には謎とロマンがつまっている!! そしてそれは遠い外国やゲーム世界の地下だけではない。東京都心のど真ん中にも、謎めく地下スポットがあるのだ。「何故、ここにこれが……? 」としばし狐につままれた気分になったある場所に、筆者が諸君を案内しよう。 中央区と港区の境目近く、銀座8丁目の首都高沿いの地下にそこはある。場所は汐留駐車場。私がいま住んでい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く