Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
ソフトボールの選手がプロ野球の選手へ。 現時点でそれはファンタジーの世界の話だといわざるをえない。過去の記録を辿ってみても他競技からのプロ球界入りは大成した例がない。 100m走、槍投げ、レスリング……。 そのうち1軍公式戦に出場したのは1968年に100m走から転向した飯島秀雄(元東京オリオンズ)とレスリングから転向した桂本和夫のふたりだけだ。飯島はプロ3年間で通算117試合の出場を果たすも打席に立った経験は一度もなく、完全な代走要員として起用され3年後には球界を去った。桂本もプロ4年間で出場したのはわずか9試合。プロ初安打をあげた1958年のシーズンにはなぜかレスリングに復帰し東京アジア大会で優勝を収めている。これを成功と呼べるかどうか……。 今年のドラフト会議で北海道日本ハムがソフトボール出身の大嶋匠を指名した際も、「またか……」という思いが先に来た。 ドラフト下位指名での話題稼ぎ、
結婚式や食事会などあらたまった場面での「テーブルマナー」、分かっているつもりでも不安になるものですね。フォークとナイフの使い方、意外と知らないお箸の使い方など、知っておきたいテーブルマナーの基本を紹介します。 ■ 西洋料理のテーブルマナー まずは西洋料理のテーブルマナーです。ナイフやフォークがずらっと並んでいると、ちょっと身構えてしまいますよね。 ▽ Yahoo!きっず食育・レシピ - マナー教室 「Yahoo!きっず食育・レシピ」のマナー教室のページでは、西洋料理のテーブルマナーを分かりやすく解説しています。ナイフとフォークの持ち方は、人さし指を背の部分に乗せるようにしても、持ち手を軽く握るようにしても、どちらでもOKです。ナイフとフォークがたくさん並んでいる場合は“外側”から使うのが基本ですが、間違えたときや足りなくなったときはウエーターに伝え、新しいものを持ってきてもらいましょう。食
ソーシャルメディアを急激に衰退させる可能性があると指摘されている法案SOPA(Stop Online Piracy Act)が、米国で通りそうな雰囲気になりつつあります(そもそもインターネット全体に影響を与えるという意見もありますが、今回はソーシャルメディアに絞って書いています)。 SOPAは、今年10月に米国下院で紹介されましたが、おおまかな特徴として以下のようなものがあります(上院では似たような内容であるPROTECT IP Actがあります)。 著作権侵害コンテンツを含むサイトへのアクセス遮断をISPに命令できる(DNSブロッキングなどによってISPが通信を遮断するようになる) 著作権侵害コンテンツへの資金提供を停止させる(GoogleなどのAdネットワークや、PayPalやVisaなどに対して、著作権侵害コンテンツを含むサイトとの取引停止命令を出せるようになる) 検索エンジンの検索
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "蛍の光" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2011年12月)
北朝鮮の某所で軍部隊を訪問した生前の金正日(キム・ジョンイル、Kim Jong-Il)総書記(2011年11月2日提供)。(c)AFP/KCNA via KNS 【12月20日 AFP】北朝鮮の金正日(キム・ジョンイル、Kim Jong-Il)総書記の死去(69)が報じられた19日、ツイッター(Twitter)上には「ゴルフ界は偉大な人物を失った」というコメントが相次いだ。 「神業」が成されたのは1994年、金総書記が52歳の時だった。北朝鮮の国営メディアは、金総書記が平壌ゴルフ場(Pyongyang Golf Course)の7700ヤードのコースで1ラウンドのうち合計11ホールでホールインワンを達成したとして称賛した。どのホールも最悪で「バーディー」、スコアは38アンダーの34という驚異的なもので、しかも、金総書記がゴルフコースに出たのはこの時が初めてだったと報じている。 果たして、金
この記事は Competitive Programming Advent Calendar の18日目の記事です。 はじめに アルゴリズムやその他の何らかのダイレクトに役に立つコンテンツは、 おそらく他の多くの方によって充実していることであろうかと思いますので、 私は大して役に立たないことを取り留めもなく書き綴ることにします。 なぜ私のような普通のプログラマが、 当時競技プログラミングの世界のトップに立つことになったのか。 競技プログラミングを考える 「競技プログラミング」という単語がにわかにWeb界隈を賑わせはじめたのは 私が知るかぎりではそんなに歴史のあるものではないと思います。 おそらく「競技プログラマ」という単語及びそれが指し示す人たちの出現と同時期に 適切な語を探す形で生まれたのでしょう。 しかし、プログラミングの技能を競うという試みは新しいものではありません。 それはICPCが
普段使っている、Zope/PloneがPython3に対応するのはいつのことか・・と考えているのですが、まだまだ時間が掛かりそうな感じがしています。といって、Python3のことを使えないなどと言っていられない時代になっていくのだろうな・・・と2011年末を向かえています。 昨年・一昨年と技術系アドベントカレンダーをやっていて、今年もPlone4で複数回のエントリーを書いていますが、Pythonの方でも書くことになりました。今年は、Python3と言う縛りなのでネタに困ったのですが、先週末開催した、Python mini hack a thonでアドバイスをもらいつつ、初めてのPython3と言うことでネタを作ってみました。 日本語問題 既に、なかがみさんがエントリーしているとおり、文字列の扱いが変わり、Unicodeになりました。 これ以外にも、日本語(ASCII以外)での様々な扱いが増
Wing 101 - Version 10.0.3 - Released 2024-03-15 Wing 101 is a very simple free Python IDE designed for teaching beginning programmers. It omits most features found in Wing Pro. Compare Products If you are new to programming, check out the book Python Programming Fundamentals and accompanying screen casts, which use Wing IDE 101 to teach programming with Python. Wing 101 is free to use for any purp
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く