１．初めに これまで、さまざまな言語でプログラミングしてきたが、一番満足しているのはHaskellである。なぜという問いに一言で答えるならば、バグが入りにくい、あるいは、プログラムが信用できるということだろう。 この記事の前に、量子力学の世界をHaskellで構築することを試みた。連続系についてはまだ説明の途中であるが、その基本となる離散系については完成している。量子力学は物理の世界でも難しい分野の一つだ。概念的に複雑な世界を記述しようとすると、とても、抽象度の高いプログラミング言語を必要とする。 現在のHaskellは、圏論(category theory)という数学を応用したプログラミング言語である。他の学問と比較すると、数学は抽象度が高い。圏論は、その中で、最も抽象度が高い分野の一つである（圏論よりも抽象度が高いのは最近話題になることが多いホモトピー型理論だ。この理論がプログラミング

えいにゃんさん大好きです

なんで黄木さんとか緑木さんがいないのか 不思議でならない。

森博嗣の「すべてがＦになる」にシリーズの「笑わない数学者」で以下のようなパズルが紹介されている。 「ビリヤードの球（つまり１～１５）から五個球を選んでリングに並べる。 この時、連続する球の数字の和が１～２１になるようにするにはどうならべればいいか？」 こちらで実際にこのパズルをプレイできる。 〜〜 追記: この問題は一般に「魔円陣」と呼ばれているものでした。当ブログの別記事「Dobbleの数理」で参照している有限幾何の文献でも解説があります。 amori.hatenablog.com あと、「ガロアの数学 「体」入門、小林吹代 著、技術評論社、2018/6」にも解説がありました。 〜〜 ２１というのは5個のリングから作りうる最大数で、Combination(5,2)*2+1 =21 であるので、作りうる数字の和に重複がないということである。 5個未満については、 1個の場合は[1]で自明、

ビリヤードリングの問題からインスピレーションを得て、これをサイコロに適用したらどうなるか、を考えてみた。 立方体６面のサイコロには当然6通りの値しか与えられていないが、これを凸凹なところで転がすと斜めで止まることもある。 この時に上から見えている面の値の合計を目としてカウントするとして、 6つの面にどのように数値を配置したら、重複なく、また、連続した目を構成できるか？ 一度に同時に見える面は最大3つ。 その組み合わせは、面、辺、頂点のどれが上にくるかで決まり、全部で 6+12+8=26通りある。 では、1から26までの目となるようにできるのか、また、その場合の数字と配置は？ 答えは、可能かつ実質ユニークで、 わかってみれば数学的に明解なものである。 (解答編はこちら→ http://amori.hatenablog.com/entry/2016/05/17/173953 )

ユーザーによってはそのユーザーのブコメを何度も見ている訳ではないし、そのユーザーだけに耳を傾けている訳でもないと思うが…。個人的に、自己満足に浸っている印象さえ受ける。 私以外のユーザーはどう思っているんだろうか。

今日の風景 すたみな太郎にて誕生日会でした はじめに 『算数の文化史』を読んでいたら、「あらゆる自然数は2の累乗の和としてあらわすことができる」ということが紹介されていた。証明はともかくとして、これは直感的にわかるものだ。だが、もう一つ「あらゆる自然数は3の累乗の和と差であらわすことができる」というのがある。これは直感的にはちょっとよくわからない。 例えば、5であるならば、3の累乗のリストは「9、3、1」となる。この場合、「9」から「3」と「1」を引くことで、5の数を表現できる。このように、全ての自然数は3の累乗の和と差で表現できるという。当然、このことは数学的帰納法かなにかで証明するのが正しいのかもしれないけれど、その証明はとりあえず追いておくとして、そのような3の累乗の和と差で、あらゆる自然数を表現するようなプログラムを書いてみるのが、今回の記事の目的となる。 仕様決め まず、仕様を決

つくった。mylist/36422234

よんのきさんのユーザーページです。なんか色々らくがきを描いてます。

ありがとうございました　さいごにおまけ感想欄あります　前→sm29716259 まとめ→mylist/9598955 twitter→https://twitter.com/yonnoki　次→sm29927530

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有

ありさんのユーザーページです。激烈面白動画クリエイターです。

おもしろ ブラマヨ吉田 on Twitter: "バス。限られた燃料で目的地に行きたい。何故かすぐに車酔いするコがいたらバスを停めエアコンをつけ回復を待とう。目的地に着けなくていい。しかし走り回っては酔うを繰り返し、そいつに注意したらド突いてきた。そしてまたそいつは走り回って酔う。その度にバスを停めてたら燃料無くなる。どうする？"

インターネットが大好きで、ウェブ記事を書くことがどうしてもやめられない指圧師です。「下北沢ふしぎ指圧」を運営中。 Twitter：@3216／ライター活動まとめ 連載：コンピュータ・メモリーズ 1982年生まれの筆者が、人生を通じて出会ってきたガジェットの超個人的な思い出をマンガで振り返ります。 ゲームの「死の演出」ってシンプルな方が怖いです。夜寝るときに真っ暗な部屋の中で、地獄に落ちたマリオのことを思い出していました。マリオは死んでも次がいるけど、ぼくは死んだら本当にそれで終わりなんだよな……って。 後年「モータルコンバット」や「サムライスピリッツ」など、死の演出がグロいゲームも出てきましたが、全然恐くないのが不思議でした。ゲームで身体が真っ二つになっても、ギャグみたいなんですよね。 不思議なのはRPGの「MOTHER」の死の表現です。画面のメッセージは「きぜつしてしまった」なのに、キャ

まず一つ。どこがどうというのは上手く言えないのですけれど、エロゲーのキャラって、全年齢向け萌え絵とは異なる淫靡さみたいなものを醸し出していますよね。服着せればエロくないと考えたとすれば、ちょっとそれは考え方として甘すぎるのではないかと。

ドラマは「貼られる！」というタイトルで、主演は成宮寛貴が務める。人にレッテルを貼っていたエリートサラリーマンが、ある日突然、人から貼られたレッテルが目に見えるようになったことから起きる苦悩を描く。「『世にも奇妙な物語』に出るならばこういう作品に出たいというこだわりがありました」と語る成宮は、「レッテルを貼られる」という設定について「自分に貼られたレッテルを逆にバネにしたり、それを逆に利用していく、というところが僕らの仕事だと思っているのでレッテルを貼られることには慣れてしまいましたね」と微笑んだ。原案「レッテルのある教室」は「7と嘘吐きオンライン―HERO個人作品集―」に収録。 番組では「貼られる！」のほか、新津きよみ原作・黒木メイサ主演による「シンクロニシティ」、深田恭子主演による「捨て魔の女」、我孫子武丸原作・北村一輝主演による「車中の出来事」の計4本に加え、久保田紗友と山田杏奈らが出