数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
外れ馬券購入費は「経費」 最高裁、確定へ：朝日新聞デジタル
競馬の外れ馬券の購入費が「経費」として認められるかが争われた脱税事件の上告審で、最高裁が経費と認める判断をする見通しとなった。二審の結論を見直す際に必要な弁論を開かず、３月１０日に判決が言い渡されることが決まった。ただ、今回争われたのは「資産運用の一種」と認められるほど大量に買い続けたケースの外れ馬券の扱いで、楽しむ程度の一般の競馬ファンにはあてはまらない。 独自の競馬予想ソフトを駆使してネットで馬券を大量購入していた大阪市の元会社員男性（４１）の脱税事件。２００７～０９年に計約２８億７千万円を賭けて得た３０億円余りの払戻金を申告せず、５億７千万円を脱税したとして所得税法違反の罪に問われている。 一、二審判決は、外れ馬券を「経費」と認めて脱税額を大幅に減らし、検察側が上告していた。最高裁第三小法廷（岡部喜代子裁判長）が、弁論を開かずに判決期日を指定したため、二審の判断が維持される見通しだ。
日本文学史上最もセンスのあるタイトルを決めよう : 哲学ニュースnwk
2015年02月18日12:00 日本文学史上最もセンスのあるタイトルを決めよう Tweet 1: 風吹けば名無し＠＼(^o^)／ 2015/02/17(火) 23:21:47.13 ID:X3QTvZmt0.net 桜の森の満開の下 転載元：http://tomcat.2ch.sc/test/read.cgi/livejupiter/1424182907/ 馬鹿「電車のなかで電話するな、迷惑！」俺「え？なんで？」 http://blog.livedoor.jp/nwknews/archives/4827419.html 3: 風吹けば名無し＠＼(^o^)／ 2015/02/17(火) 23:22:22.90 ID:XIw9+Q9S0.net 吾輩は猫である 6: 風吹けば名無し＠＼(^o^)／ 2015/02/17(火) 23:23:48.59 ID:X3QTvZmt0.net >>3
勝手にCtrl＋Sをしてくれる全自動論文保存機を作ってみた
パソコンで論文や重要な書類を書いている時にパソコンが突然止まってしまい、「ヤバい、データ保存してない…一日分の作業が無駄に…」なんていう経験、皆さんもあると思います。そんな事故を未然に防いでくれる画期的な発明品がこの『論文まもるくん』。これさえあれば、論文の保存をよく忘れてしまうあなたでも一日を無駄にすることはもうありません！【祝】第二回ソレコン（タカハソレノイドコンテスト）でソレコン大賞を受賞しました！！！http://www.takaha.co.jp/solcon/result.html『論文まもるくん』に関するまとめページですhttp://nxt-alpha.jp/contents/mamoru.html
定番のホッケ、いつの間にか高級魚 乱獲で水揚げ激減：朝日新聞デジタル
大衆魚ホッケの値上がりが止まらない。主漁場である北海道沖での若い魚の取りすぎや海水温の変化で水揚げが激減した上、輸入物も漁獲規制で流通量が減ったことが背景にある。安さと食べ応えが人気だった「居酒屋の定番メニュー」は、どうなるのか。 「のどぐろ開き １９００円」「きんき開き １９００円」「極上縞（しま）ほっけ １５００円」 東京・築地近くの干物居酒屋「越後屋八十吉（やそきち）」のお品書き。ホッケが店で３番目に高価な魚だ。店長の春田憲司さん（３０）は「大衆魚だったホッケも今では高級魚」と話す。 店では、輸入物のシマホッケと、国産のほぼ全てを占めるマホッケの２種類の干物を扱う。シマホッケの仕入れ値は３年前と比べ、１・５倍。大型が手に入らず、小ぶりのマホッケでさえ９９０円で、アジやサンマの５９０円より高い。 定食店「大戸屋」を展開する大戸屋ホールディングス（東京都）も、シマホッケの開きの単品価格を
.NET向けのTwitterライブラリ「CoreTweet」の使い方まとめ - 酢ろぐ！
最近、うちのサイトによくCoreTweet関係で検索してこられる方が増えました。 今のところ最新版を使っての挙動を確認していますが、僕自身いつまで動作確認をしているかも分かりませんので、僕のサイトを見るよりもGitHubやコミッターの方々のブログを見て頂いた方が確実かと思います。 公式ページでCoreTweetの使い方を調べる まず、公式ページで読むべきは「Home(日本語) · CoreTweet/CoreTweet Wiki · GitHub」です。日本語で書かれているので、やりたいことが書かれていると思います。 CoreTweet | Yet Another .NET Twitter Library パラメーターの指定方法 · CoreTweet/CoreTweet Wiki · GitHub 非同期メソッドを使う · CoreTweet/CoreTweet Wiki · GitHu
Exif情報を削除できるようになりました
「Exif情報をデフォルトで削除する設定にしてほしい」 http://dobonkai.hatenablog.com/entry/exif-hatena-photo-life という記事が出た。 それから一週間ぐらいたって、早速、これを実現させるサービスが登場した。 （http://bit.ly/1BiXIB1） 画像ファイルのEXIF情報削除とリサイズができるようになりました 画像ファイルをアップロードする際に、EXIF情報の削除や、指定した大きさへのリサイズを行うことが可能になりました。 さすがに、優秀な会社はやることが早いですね。ユーザーの要望があれば、さっさと実現してしまう。 すばらしい！ ただ、これ、はてなじゃないんだよね。（リンク先を参照。）
Roslyn コンパイラー仕様
まだ pull-req 通ってないんですが、Roslyn リポジトリ上にこんなものが。 https://github.com/dotnet/roslyn/pull/536 コンパイラー仕様のドキュメント化、始めました。 “コンパイラー仕様” コンパイラーを作っていると、標準化されている言語仕様では不十分な仕様ってものがどうしても出てきます。C# コンパイラーにもいくつかそういうものがあるんですが、「オープン化したんだからそういう隠れ仕様もドキュメント化しないとダメだよね」という感じで、その手始めに、コンパイラーチームの内部 OneNote で書かれていた仕様を .md 化してリポジトリに追加しようとしているみたい。pull-req が通った暁には、/docs/compilers フォルダー以下にこういう “コンパイラー仕様” が並びます。 具体的にどういうものをドキュメント化しようとしてい
帰ってきたSigil ― プラグイン機構でワンチャンある？ - 電書ちゃんねるBlog
しばらく活動が停滞していたEPUBオーサリングツールSigilだが、最近少しだけ開発が活発化しているようだ。新しく導入されたプラグイン機構を利用すればEPUB 3の出力もできる。 以前このブログでは次の記事でSigilの開発が行き詰まっていると伝えた。 ところが、2014年後半から開発が活発化してきたようだ。 開発体制 多忙な中、独力でSigilをメンテナンスしてきたJohn Schember氏はブログで、2014年8月頃にKevin Hendricks氏による協力を得られたことを明かしている。Kevin Hendricks氏は幾つかのバグ修正の他、Sigilにプラグインを追加するフレームワークの導入も進めている。 http://sigildev.blogspot.jp/2014/09/sigil-status-update.html また、新たにSigilのウェブサイトも立ち上げられてい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://atnd.org/events/62907
使えばTポイントが貯まるプリペイド「ソフトバンクカード」、3月6日より
月額500円で雑誌350冊をスマホから読み放題、51誌のバックナンバーや全47都道府県の「るるぶ」など 
法改正で税金６倍に 「空き家」大量売りで始まる不動産大暴落｜日刊ゲンダイDIGITAL