タグ

2014年7月14日のブックマーク (6件)

  • ヴァシーリー・ヴェレシチャーギン - Wikipedia

    「シプカの戦場」 ヴァシーリー・ヴァシーリエヴィチ・ヴェレシチャーギン(ロシア語:Васи́лий Васи́льевич Вереща́агин、ラテン文字転写の例:Vasilij Vasil'evič Vereščagin、1842年10月26日 - 1904年4月13日)は、ロシアの画家。 姓はヴェレシャーギンとも転写し得る[1]。「ヴァシーリー」は「ワシリー」、「ヴェレシチャーギン」は「ヴェレシチャギン」とも表記される[2]。 ロシア帝国の中央アジア征服や露土戦争に従軍して戦場をテーマとした作品を数多く残す。日露戦争で取材のため乗っていた戦艦が沈没し死去。 経歴[編集] 世界を知る[編集] 『敗北。パニヒダ。』(ロシア語: Побежденные. Панихида.)ヴェレシチャーギンによる露土戦争の一場面を描いた油彩画。膨大な数の兵士達の遺体を前に、正教会の司祭が振り香炉を振り

    ヴァシーリー・ヴェレシチャーギン - Wikipedia
  • http://www.math.kobe-u.ac.jp/Asir/ca.pdf

  • Farkas' lemma - Wikipedia

  • 中国でノマドしてみたらイメージが一変した

    ノマドとは近年定着しつつある「特定のオフィスなどを持たない働き方」ですが、ノマドを中国でやったらどんな生活を送る事になるのか。実際に体験してみました。 こんにちは!世界新聞特命記者の豊永奈帆子です。今年の4月から1年間、パソコン1台で働きながら1ヶ月ずつ場所(国)を変えて旅をしています。香港、タイ、ラオスに続いて、4ヶ国目のノマド滞在国として選んだのが中国の大理です。 中国の大理を選んだ理由は、今まで滞在した国では現地の人との交流がなかなか思うように出来なかったので、大学で勉強していた中国語を使ってもっと現地の人とも話せればと思ったからです。また、ラオスで多くの中国人観光客と友達になり、彼女たちがバスでラオスに来ていることを知り、せっかく陸続きなら行ってみようと決めました。その時の気分で行き先を変えられるのは、事前にチケットを取らない良い所だと思います。 大理の町並み。屋根の雰囲気が好きで

    中国でノマドしてみたらイメージが一変した
  • 【GIF】 サザエさんエンディング透視図を改良してみたwww : ゴールデンタイムズ

    コメント一覧 (74) 1. 金ぴか名無しさん 2014年07月14日 00:47 初めて見たわなんだよこれwww 2. 金ぴか名無しさん 2014年07月14日 00:50 マスオさん鬼畜の所業 3. 金ぴか名無しさん 2014年07月14日 01:10 色塗りもうちょっとはっきり塗りわけ出来ただろ 青系多すぎんよ 4. 金ぴか名無しさん 2014年07月14日 01:14 確かにマスオの家の入り方はドロップキックじゃないと説明がつかない 5. 金ぴか名無しさん 2014年07月14日 01:15 クソワロタ 6. 金ぴか名無しさん 2014年07月14日 01:19 マスオ悪い奴やな 7. 金ぴか名無しさん 2014年07月14日 01:19 よく考えたもんだなwwww カツオは無重力空間なのかよwwww 誰も表情一つ変えねーしww 8. 金ぴか名無しさん 2014年07月14日 01

    【GIF】 サザエさんエンディング透視図を改良してみたwww : ゴールデンタイムズ
  • プログラミング言語の基礎概念を学んでる - はこべにっき ♨

    プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト) 作者: 五十嵐淳出版社/メーカー: サイエンス社発売日: 2011/07メディア: 単行購入: 6人 クリック: 60回この商品を含むブログ (12件) を見る このを読んで学んでる。まだ半分くらいで関数の定義とかについて勉強してる。 プログラミング言語の動作を数学的に厳密に記述する方法を順番に教えてくれるという内容で、記述には導出システムが用いられてる。基的な算術式からはじまって、変数の定義や関数の定義、パターンマッチや型システムなど、様々な言語の機能を推論規則によって定義する方法を教えてくれる。与えられた規則が意味的に意図したものを表しているかの証明だけでなく、証明のやり方もくわしく説明されていて丁寧でたすかる。 おもしろいのはこののためのオンラインの演習システムというのがあって、の中で与えられた導出システムに

    プログラミング言語の基礎概念を学んでる - はこべにっき ♨
    OKU_s62
    OKU_s62 2014/07/14
    後半の問題の導出木を書くのは人間業ではないので、導出木を生成するプログラムを書きましょう