記号論理学から計算科学へ。フレーゲ、ラッセル、チューリング【哲学とプログラミング】
哲学の一分野である論理学の歴史はとても古く、紀元前4世紀のアリストテレスまでさかのぼりますが、19世紀後半に登場したフレーゲをはじめとした記号論理学の登場こそ、ここから計算科学が産み出されていったという意味で、哲学とプログラミングの最大の接点と言えます。もちろん、今でも記号論理学の考え方はプログラミングに活かされています。 論理学と数学 哲学にもいろいろな内容が含まれています。すべてがプログラミングとつながっているわけではありません。非常に大雑把に言えば、哲学とプログラミングの接点は「論理学」にあります。 古代ギリシアの哲学者アリストテレスは、当連載第3回目で説明した通り、紀元前4世紀に論理学を体系化しました。三段論法など、今でも用いられているものもあり、とてもしっかりとしていました。その後、10世紀以上にわたってアリストテレスの論理学はイスラム圏も含めて広く用いられ続けます。 しかし、彼
【WordPress】WordPressのここがダメ - Qiita
巷では、少し前からアフィブログを WordPress で作るのが流行っているようですが、主に PHP 開発者＆サーバー管理者の観点から、WordPress のダメだと思うところを、思うままに書いてみました。 WordPress をディスるつもりはありませんので、注意喚起：解決法：ポエム ＝ 4：1：5 ぐらいの感覚でご覧いただければ幸いです。 ⇒ 【WordPress】WordPressのここがイイ 1.設計が古すぎる 先日書いた記事で、気になって admin-ajax.php のコードを眺めてみましたが、Oh... これは酷い…。 require_once が連呼され、global 空間に define() とコンフィグ用の配列が入り乱れ、$_GET $_POST $_REQUEST が舞い踊り、ファイルはクラスどころか関数にすらなっていない…200 行に満たないコードはネタの宝庫で、1
【まとめ】これ知らないプログラマって損してんなって思う汎用的なツール 100超 - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 2019/06/11追記: これは2012年の投稿です。なぜかはてなブックマークで拡散されていますが、内容は時代にそぐわなくなったものもあるのでご注意ください。 これ知らないプログラマって損してんなって思う汎用的なツールのコメントに寄せられたツールを分類分けしてみました。 解説は、ほぼコメントに寄せられた内容のコピペです。 URLのみの記述は公式サイト(か、ほぼ公式サイトと化しているサイト) 公式サイトとは別に、ページタイトルだけでツールを説明しきっているページへのリンクも付けておきました。類似ページが複数ある場合は、はてブのブックマー
新しいフレームワークを学ぶならTodoMVCではなくRealWorldを参考にしよう - Runner in the High
よく新しいフレームワークを学ぶにはTodoアプリを作ってみるのがよい、と言われる。実際、Todoアプリを様々なフレームワークで作ってみたサンプルをまとめたサイトもあったりする。 ところが、実際に業務で作るようなアプリケーションはTodoアプリの範疇を超えている。とくにSPAにもなると、画面遷移やWebAPI連携、大規模な状態管理などなどの条件が増えるので、Todoアプリを作っているときには考慮できていなかった大変さが出てくる。 そこで参考になるのが RealWorld example apps と呼ばれるプロジェクト 端的に言うと、TodoMVCの大規模版。 規定のスペックに沿って、様々なウェブフレームワークで作られたアプリケーションのリポジトリがリストアップされている。 スペックについて "Conduit" is a social blogging site (i.e. a Medium
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Engadget | Technology News & Reviews
ありそうでないゴジラのタイトル
