キャリア、転職、人材育成のヒントを提供してきた「リスキリング」チャンネルは新生「NIKKEIリスキリング」としてスタート。 ビジネスパーソンのためのファッション情報を集めた「Men’s Fashion」チャンネルは「THE NIKKEI MAGAZINE」デジタル版に進化しました。 その他のチャンネルはお休みし、公開コンテンツのほとんどは「日経電子版」ならびに課題解決型サイト「日経BizGate」で引き続きご覧いただけます。
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. (カジュアルに作ってるように見えますが、割と本気です.) まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. (今ならカントリーマームもつけるのでお願いします.) HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真(トートロジー)のみです. (厳密に言うと自然演繹も仮定されていますが.) 当初、自
ブクマするひとたちは それは間違ってるよ 正しくはこうだよ と講釈をたれたい人の集まりだから だから、 この匿名ダイアリーにももちろんブクマはつかない、 正論だから
「外では雨が降っており かつ雨は降っていない」という前提から「源義経の母親はナポレオンである」という結論を導け――とある学校で出された論理学の問題がTwitterで話題になっています。 この問題を投稿したのはほっそーさん(@yayakiregimi_)で、現在1万リツイート以上されています。ほっそーさんが「単位諦めました」と言っているように、ぱっと見ても全くわかりません。 解くことを放棄して大喜利や三題噺として楽しむ人たちもいる中で、まじめに答えを書き込む人たちも。 うーん、この答えが合っているのか違っているのかもわからん! 実はこの「論理学」、数学で用いられている考え方とかなり近いところにあるのだそう。そういえば、中高の時に数学の授業で「AならばB」なんて勉強した記憶があるような。ということで、筑波大学数学科の大学院生にこの問題を解説してもらいました。 「これは『形式論理学』といわれてい
ロジカルシンキングについて日頃から思っていた疑問をサクッと書いてみました。Wikipedia先生に聞いてみると、ロジカルシンキング(論理的思考)とは、 一貫していて筋が通っている考え方、あるいは説明の仕方のこと ビジネス書では、 物事を体系的にとらえて全体像を把握し、内容を論理的にまとめて的確に伝える技術 なんて説明されてたりします(定義は議論があるところですが、ここでは触れません) 現代社会の多くの意思決定において、ロジカルシンキングはとても大事です。例えば、社内で新規事業をする時に担当者がプレゼンする場合や、経営者が投資家に説明する場合などです。 筋が通らない矛盾があれば却下されるでしょうし、大多数が 納得できるようなロジカルな説明ができれば、意思決定はスムーズに進みます。 このロジカルシンキングの弱点は、他人を説得する際には絶大な力を発揮する一方で、物事の成否を見極めるには、それほど
ユーザー体験(ユーザーエクスペリエンス/User Experience: UX)という言葉が広く聞かれるようになってきた。半ばバズワードのように、特にウェブデザインやマーケティングの記事などの中では、この言葉を見ない日はない。しかしながら、多くの場合、UXという言葉の真意や可能性を取り違えてしまっている。本稿では、いくつかの観点からUXの本質を考えてみる。 1.UI/UXという誤用 1.1. UIとUX まず、多くの記事や講演などで見られる「UI/UX」という表現からとりあげてみたい。 UI/UXとは、もちろん、User Interface / User Experience(ユーザーインターフェイス/ユーザーエクスペリエンス)の省略形であるが、多くの記事などで「すぐれたUI/UXデザイン事例」、「UI/UX講座」などの表現が用いられている。 「ユーザー」という共通項があるため、共通でくく
教科書など 準備 数理論理学を習得するためには、その前に、数学の言葉を操り数学の考え方を駆使できるようになる必要があります。数理論理学は数学の一分野ですので、それについては数学の他の分野と変わることはありません。 幸い、数学の言葉と数学の考え方を学ぶことに特化して使える教科書が出版されています。目についたものを並べてみます。おそらく、他にもあるでしょう。 個人的に特に気にいっているもの 嘉田勝:論理と集合から始める数学の基礎,日本評論社, 2008. (版元による紹介) 鈴木登志雄:例題で学ぶ集合と論理, 森北出版, 2016. (版元による紹介) その他 渡辺治・北野晃朗・木村泰紀・谷口雅治:数学の言葉と論理, 朝倉書店, 2008. (版元による紹介) 中島匠一:集合・写像・論理—数学の基本を学ぶ—, 共立出版, 2012. (版元による紹介) 石川剛郎:論理・集合・数学語, 共立出版
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト(講義ノート、サーヴェイ、モノグラフ等)のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫,「数理論理学(命題論理と述語論理)」.[PDF] 嘉田勝,「数理論理学 講義ノート(2013年度版)」. St
ヒトは「頭の使い方」を覚えると賢くなる生き物だ。 かけ算九九しかり、元素記号の語呂合わせしかり、丸暗記してしまうことで思考をスピードアップできる。理系大学生のサイフは平均的に文系大学生のサイフよりも軽い。なぜなら彼らは数字に強く、「おつりのコインを最小にする計算方法」を身につけているからだ。それに加えて実験とレポートに追われてバイトができないという涙ぐましい事情がある。 私は学生時代に、ちょっとだけ英語ディベートをやっていた。その時に先輩に教えてもらった「ニュースの読み方」が今でも役に立っている。ニュースを読むにはトレーニングが必要で、読み慣れないうちは、「なにが問題なのか分からない」のが最大の問題となる。逆に「読み方のテンプレート」を覚えてしまえば、そのニュースの論点を即座に見抜けるようになる。かしこい人はこうやってニュースを読むのか! と当時は感心した。 今回のエントリーでは、その一部
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く