物理学は基本的には自然科学の分野ですが、物理学の手法とツールはさまざまに応用可能で、社会物理学や経済物理学などの分野が発展しています。同じように物理学の手法を言語の分析や分類などに応用した言語物理学について、世界最大の物理学会の1つであるInstitute of Physics(IOP)の会員誌であるPhysics Worldが、日本...
大学でC言語の授業を終えた私の耳に、どこからともなく聞こえてくる。 「どうやら、関数型言語というのがすごいらしい」 同様の現象は世界各地で確認されている。 「オブジェクト指向の次は関数型だ」 「なんでも、デバッグと並列化がしやすいらしい」 そんな又聞きに又聞きを重ねた霞の正体を確かめるべく、人々はその...
本書ではTypeScriptの型と部分型関係がなす代数的構造を解説し、型についての強固かつ柔軟なメンタルモデルを構築します。 順序理論、集合論、束論、環論、そして圏論に至るまで、複数の数学理論を利用して多角的にモデルを構築することで、型の直感的な理解を深め、型の互換性に対する自然な推論を可能となるように解説...
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多く...
比較言語学の目的は、言語間の系統関係の確立にとどまらず、系統関係にある諸言語の祖語を再建し、各言語が祖語の状態から現在の状態に至るまでにどのように変化を遂げてきたのかを解明することにある。文献に記録のない言語史を、比較言語学の手法によってどのように再建するのか。日琉諸語の例に基づいて解説する画期...
ネット上で閲覧できる学術系ブックリストのリスト．網羅性に過度な期待はしないでください． 数学系のブックリストのリスト 数理論理学系のブックリストのリスト 物理学系のブックリストのリスト 情報学・計算機科学系のブックリストのリスト 人文学系のブックリストのリスト 国文学系・日本文学系のブックリストのリス...
このページについて ※特に断らない限り、圏はlocally smallであると仮定しています。 ※上から順に読むことを想定しています。 ※定義が書いてない言葉があったりするので、その場合はnLabを見るなりしてください。 ※選択公理は特に断らず使います。 意見・質問・感想・誤字や数学的間違いの指摘などはTwitterまでお願いし...
論理学とその周辺領域の本を並べてみた*1．この記事にあげる本は，何らかの形でわたし自身が手に取ったことのあるもの(読んだとは言っていない)に限定している*2．ただし，原語版は手に取ったことがあるが，日本語訳はそうではない，またはその逆という場合はある． すべての本に対してコメントをしきれていないので，周...
拙著「ちょうぜつソフトウェア設計入門」の発売から1年を記念した特別イラストです。毎年恒例だったなんとかパターンのシリーズは、ネタ切れでした。今年はこれ単品でご容赦を。 まえがき まずは、いまこそ明かせるちょうぜつソフトウェア設計入門(通称ちょうぜつ本)制作秘話、というほどではないですが、最初はこんな流...
全国のScalaを愛する皆様、お久しぶりです。 毎年大盛況を収めるScalaMatsuriを、2024年も開催することが決定しました！また、同時に本イベントにおけるセッションも同時に募集を開始します！ ScalaMatsuri 2024の開催概要 ScalaMatsuri 2024のセッション募集 セッション応募フォーム ScalaMatsuri 2024 で聞きたいセッ...
「圏論」に関連する商品は見つかりませんでした