「Coq」を含む日記 RSS

はてなキーワード: Coqとは

2023-11-12

都会の文化資本への対抗意識ネット芸術鑑賞してる

最近はじめたんだけど、これはマジでいいぞと思う

東京カスヤローどもが、「アテクシ、美術館ライヴのない生活は無理でしてよ!」とか抜かしてんのを見ると、なんかスゲ〜ムカつくので、じゃあ家の周りに美術館がねえこの俺が、キサマより美術音楽に詳しくなったるわ!という気持ちをもってのことです

やり方については詳述しねえ

なぜなら、都会人に武器を渡したくねえから

詳しくは言えねえけど、ある海外人気の高い大型SNS(って言ったらもう分かりそうだけど…)で、美術とか食とか旅行とか写真みたいな、そういう徳の高いコミュニティ(5chでいうところの板みたいなものがメインのSNSなので、タイムライン個人ではなくジャンルで作ることになる)をまとめたフィードを作って、それを毎日みる

カザフスタン旅行写真とか、デトロイトスタイルピザとか、マックスフィールドパリッシュの絵とか、Coq au vinっつうカッコいい上にうまそうなフランス料理とか、そういうもの知識毎日流し込まれ

マックスフィールドパリッシュの絵なんか、実際結構気に入った 名前を覚えるくらいに気に入った

冬の風景画の、明朝の深い青色の空の感じが非常に「わかる」感じで、大変よろしい

こういう風景、実際に目にして感動して、あとで見返そうと思って写真にとっても、ぜんぜん感動を切り取れないんだよな

絵で味わえるのはホントにありがてえ

今日見た中だと、秘密ですよ、Alex Colvilleという人のPacificって絵、これがマジで超カッコよかった

オーシャンビューの、開放的生活感のない部屋で、上半身裸の男が気だるげに海を見ている、のを後ろから見ているって絵なんだけど、なんといっても手前の机にぽつんと置かれた拳銃が目を惹く

この銃はなんなのか、既に使われたのか、これから使うのか?男は何者なのか?何を思っているのか?

男の方から上がフレームアウトしていて、表情なんかがまったく伺えないのもシブい

この絵にインスピレーションを受けた映画があるっていうのも頷ける話だ これはカッコいいよ

パシフィックって題名バッチリハマっている

いい絵を見ましたねえ!

実際、旅先で美術館行っても、あーこれモネなんだあ、モネって誰だっけ?マネ関係あるんだっけ?とか思って、ただ見たって事実に満足してしまって、画家のこととか個別の絵のエピソードなんて全然覚えないことが多い

まあそれはそれで贅沢なことで、非常に文化的であることは否定できねえが、しかし、東京野郎がそうしている間に俺は俺の組み上げた電子美術館文化資本を積み上げていくぞ

そんで、東京から来たんスよ、とのたまう野郎Tシャツを見て言うんですよ、「あれ?この絵ってコルヴィルの"パシフィック"じゃないですか!カッコいいですよねえ」とかってさあ!「えっ…ああ、このシャツですか?へー…そんな名前の絵なんだ、気にしてなかった」「あら、そうなんですか?残念、マイケル・マン監督がお好きだったりするのかなと思ったんですけど!」

ウゼー 書いてて嫌になってきた

こんな瞬間は訪れなくていいんだけど、しかし、カードとして切れるものが増えるのは嬉しい

カードとして切るっつうのはなにもマウントを取るだけのことじゃねえ 適当に行った美術館で偶然見かけた絵の青色に見覚えがあって、これはパリッシュブルーなんじゃねえの?!と思って作者名を見たら実際にそうで、ヨッシャ〜とか小声で言って、だれに共有するでもなく、ただマスクの下でニヤつきながら観光を続行、そういう瞬間に俺のもつカードは確かに切られているということになる

配られたカード勝負するしかねえので、インターネット美術館からカードを取り寄せるということになる

リアル美術館インターネット美術館、勝つのはどっちかな?

2023-08-07

anond:20230807145116

数学って独学だとアウトプット妥当性を確認するのが不可能に近いのが難しいところだと思う。

高校数学学部レベル数学だと一人でもできるけど、それ以上となるとまずは数学コミュニティに属すところから始めないといけないからな。

Coqとか使えば一人でできるんだろうか?よく知らんけど。

2020-11-20

コケコッコ

コケットリー英語: coquetry、フランス語: coquetterie)は、女性特有のなまめかしさのこと。フランス語coq(オンドリ)に由来する語であるコケティッシュ

「オンドリ」という用語は、元々の英語の「コック」の性的意味合いを避けるためのピューリタン冒涜として米国で始まり北米全体で広く使用されています

2020-10-22

anond:20201022110139

「型」という言葉が、たとえばCoqのような形式証明や、よくあるHaskell純粋性などを解説する際に用いられるような

「周辺環境すべての情報を含むもの

という意味でしたら、「型を一致させる」という表現は、あながち間違っていません。まあしかし、そういう意味で用いていないことは常識的に明らかでしょう。

単に「型を一致させる」と言った場合、他のオブジェクトへの副作用例外処理などの話題を含みませんが、Liskovの置換原則は、それらも含めた置換可能性を要求します。

2018-09-25

anond:20180925125645

数学者人工知能もやってることは一緒なわけじゃん。計算をするっていうさ。

全然うから専門分野外のことに首突っ込まないだけでしょ

TensorFlow遊びするのと、Coq/ssreflect遊びするのでは素人でも全然違うやろが

2013-06-21

http://anond.hatelabo.jp/20130621125531

ただシミュレーション、ってそれこそ統計処理のためのものだよね?

実際、理論で突き詰められない所をサイコロ振って数を集めて処理するわけで。

たとえば数値積分は単に積分してるだけで、モンテカルロ積分以外にも色々な方法があります

mathematicaなんかの数式処理システムは厳密な結果を出しますし、coqなんかの定理証明が可能なプログラミング言語も厳密な演算を行います

 
ログイン ユーザー登録
ようこそ ゲスト さん