なぜHaskell、なぜ圏論なのか - bitterharvest’s diary
１．初めに これまで、さまざまな言語でプログラミングしてきたが、一番満足しているのはHaskellである。なぜという問いに一言で答えるならば、バグが入りにくい、あるいは、プログラムが信用できるということだろう。 この記事の前に、量子力学の世界をHaskellで構築することを試みた。連続系についてはまだ説明の途中であるが、その基本となる離散系については完成している。量子力学は物理の世界でも難しい分野の一つだ。概念的に複雑な世界を記述しようとすると、とても、抽象度の高いプログラミング言語を必要とする。 現在のHaskellは、圏論(category theory)という数学を応用したプログラミング言語である。他の学問と比較すると、数学は抽象度が高い。圏論は、その中で、最も抽象度が高い分野の一つである（圏論よりも抽象度が高いのは最近話題になることが多いホモトピー型理論だ。この理論がプログラミング
三進法 - Wikipedia
三進法（さんしんほう）とは、3 を底（てい、基（base）とも）とし、底の冪の和で数を表現する方法である。 概要[編集] 任意の正の数は次のように表すことが出来る。 （ am は0,1,2のどれか）このとき、 と書くのが三進法である。 記数法[編集] 位取り[編集] 三進法では0、1、2の計三つの数字を用い、三を10、四を11…と表記する。三で桁上がりするので、「3」の字が使えるN進法は四進法以降、「3」の字が使えて「1/3」が割り切れるN進法は六進法以降となる。桁の増加も、三進法では、三の冪数で桁が一つ増える。以下の表に、二進法（底が2）、三進法（底が3）、六進法（底が2×3）、十進法（底が2×5）での各表記法の差異を掲載する。 数列の進み方（十八まで） 二進法 三進法 六進法 十進法
Ichibazushi – オンラインギャンブルの市場規模
はじめに ご訪問いただき、ありがとうございます。 こちらのウェブサイトをご訪問いただき、ありがとうございます。 当社は、お客様のインターネット上でのマーケティング目標に合わせて、計画の立案、スケジュール管理、予測を行う企業です。当社の「フォアキャスター・メソッド」を活用すれば、どんなチャンネルでもトラフィックの成長を予測することができ、お客様が求める結果を提供いたします。 当社の目標 当社のミッションは、すべての人々と繋がりのある有意義なビジネス世界を築き、そしてお客様、従業員、ベンダーに成果を提供することです。常に最善を尽くし、ご期待以上のものをお届けしたいと思っています。マーケティングとセールスの両方において、トップクラスのスペシャリストとしての座を維持し、絶え間ない変革と成長を続けていくことが私たちの目標です。 企業業績を改善する方法 得点をつけるように目標や目的を設定することは、ビ
ビリヤードリング(魔円陣) - amori's blog
森博嗣の「すべてがＦになる」にシリーズの「笑わない数学者」で以下のようなパズルが紹介されている。 「ビリヤードの球（つまり１～１５）から五個球を選んでリングに並べる。 この時、連続する球の数字の和が１～２１になるようにするにはどうならべればいいか？」 こちらで実際にこのパズルをプレイできる。 〜〜 追記: この問題は一般に「魔円陣」と呼ばれているものでした。当ブログの別記事「Dobbleの数理」で参照している有限幾何の文献でも解説があります。 amori.hatenablog.com あと、「ガロアの数学 「体」入門、小林吹代 著、技術評論社、2018/6」にも解説がありました。 〜〜 ２１というのは5個のリングから作りうる最大数で、Combination(5,2)*2+1 =21 であるので、作りうる数字の和に重複がないということである。 5個未満については、 1個の場合は[1]で自明、
６面で26値サイコロ - amori's blog
ビリヤードリングの問題からインスピレーションを得て、これをサイコロに適用したらどうなるか、を考えてみた。 立方体６面のサイコロには当然6通りの値しか与えられていないが、これを凸凹なところで転がすと斜めで止まることもある。 この時に上から見えている面の値の合計を目としてカウントするとして、 6つの面にどのように数値を配置したら、重複なく、また、連続した目を構成できるか？ 一度に同時に見える面は最大3つ。 その組み合わせは、面、辺、頂点のどれが上にくるかで決まり、全部で 6+12+8=26通りある。 では、1から26までの目となるようにできるのか、また、その場合の数字と配置は？ 答えは、可能かつ実質ユニークで、 わかってみれば数学的に明解なものである。 (解答編はこちら→ http://amori.hatenablog.com/entry/2016/05/17/173953 )
ブコメでよく見られる「何度でも言うが（書くが）〜」というコメント
ユーザーによってはそのユーザーのブコメを何度も見ている訳ではないし、そのユーザーだけに耳を傾けている訳でもないと思うが…。個人的に、自己満足に浸っている印象さえ受ける。 私以外のユーザーはどう思っているんだろうか。
3の累乗の差と和であらゆる自然数を表現してみる(ついでに、その測り方を考える) - Line 1: Error: Invalid Blog('by Esehara' )
今日の風景 すたみな太郎にて誕生日会でした はじめに 『算数の文化史』を読んでいたら、「あらゆる自然数は2の累乗の和としてあらわすことができる」ということが紹介されていた。証明はともかくとして、これは直感的にわかるものだ。だが、もう一つ「あらゆる自然数は3の累乗の和と差であらわすことができる」というのがある。これは直感的にはちょっとよくわからない。 例えば、5であるならば、3の累乗のリストは「9、3、1」となる。この場合、「9」から「3」と「1」を引くことで、5の数を表現できる。このように、全ての自然数は3の累乗の和と差で表現できるという。当然、このことは数学的帰納法かなにかで証明するのが正しいのかもしれないけれど、その証明はとりあえず追いておくとして、そのような3の累乗の和と差で、あらゆる自然数を表現するようなプログラムを書いてみるのが、今回の記事の目的となる。 仕様決め まず、仕様を決
エラーページ - 産経ニュース
ページが存在しません 指定されたURLは存在しませんでした。 5秒後に産経ニューストップページへ移動します。 産経ニューストップへ
ファミコン中に「死ぬ」って言ったら怒られるのは全然納得いかなかった
インターネットが大好きで、ウェブ記事を書くことがどうしてもやめられない指圧師です。「下北沢ふしぎ指圧」を運営中。 Twitter：@3216／ライター活動まとめ 連載：コンピュータ・メモリーズ 1982年生まれの筆者が、人生を通じて出会ってきたガジェットの超個人的な思い出をマンガで振り返ります。 ゲームの「死の演出」ってシンプルな方が怖いです。夜寝るときに真っ暗な部屋の中で、地獄に落ちたマリオのことを思い出していました。マリオは死んでも次がいるけど、ぼくは死んだら本当にそれで終わりなんだよな……って。 後年「モータルコンバット」や「サムライスピリッツ」など、死の演出がグロいゲームも出てきましたが、全然恐くないのが不思議でした。ゲームで身体が真っ二つになっても、ギャグみたいなんですよね。 不思議なのはRPGの「MOTHER」の死の表現です。画面のメッセージは「きぜつしてしまった」なのに、キャ
若林宣 on Twitter: "まず一つ。どこがどうというのは上手く言えないのですけれど、エロゲーのキャラって、全年齢向け萌え絵とは異なる淫靡さみたいなものを醸し出していますよね。服着せればエロくないと考えたとすれば、ちょっとそれは考え方として甘すぎるのではないかと。"
まず一つ。どこがどうというのは上手く言えないのですけれど、エロゲーのキャラって、全年齢向け萌え絵とは異なる淫靡さみたいなものを醸し出していますよね。服着せればエロくないと考えたとすれば、ちょっとそれは考え方として甘すぎるのではないかと。
HEROの短編が成宮寛貴主演でドラマに、レッテルが見える男の苦悩描く
ドラマは「貼られる！」というタイトルで、主演は成宮寛貴が務める。人にレッテルを貼っていたエリートサラリーマンが、ある日突然、人から貼られたレッテルが目に見えるようになったことから起きる苦悩を描く。「『世にも奇妙な物語』に出るならばこういう作品に出たいというこだわりがありました」と語る成宮は、「レッテルを貼られる」という設定について「自分に貼られたレッテルを逆にバネにしたり、それを逆に利用していく、というところが僕らの仕事だと思っているのでレッテルを貼られることには慣れてしまいましたね」と微笑んだ。原案「レッテルのある教室」は「7と嘘吐きオンライン―HERO個人作品集―」に収録。 番組では「貼られる！」のほか、新津きよみ原作・黒木メイサ主演による「シンクロニシティ」、深田恭子主演による「捨て魔の女」、我孫子武丸原作・北村一輝主演による「車中の出来事」の計4本に加え、久保田紗友と山田杏奈らが出
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://futathlog.net/thread/7568271
FF外から失礼しやがって！許さんぞ！
赤木とか青木とかはいるのに
【VY1V4 】シュビドゥビ【オリジナル曲】
【オリジナル曲】最後の抵抗【初音ミク】 by ◆DeathXAP/. VOCALOID/動画 - ニコニコ動画
【鏡音リンレン】やばいスイッチ【オリジナル】
よんのき - ニコニコ
魔理沙とアリスの天則ッキー☆【クッキー☆実況】
ちぇんちぇんミニ東方その４００
『“やってしまった”という後悔を理解しない長谷川豊氏（石蔵文信） - 個人 - Yahoo!ニュース』へのコメント
『ファミコン中に「死ぬ」って言ったら怒られるのは全然納得いかなかった』へのコメント
あり - ニコニコ
『ブラマヨ吉田 on Twitter: "バス。限られた燃料で目的地に行きたい。何故かすぐに車酔いするコがいたらバスを停めエアコンをつけ回復を待とう。目的地に着けなくていい。しかし走り回っては酔うを繰り返し、そいつに注意したらド突いてきた。そしてまたそいつは走り回って酔う。その度にバスを停めてたら燃料無くなる。どうする？"』へのコメント
https://futathlog.net/thread/7563951