Lispやってみた2

あれから少し経って、多少なりとも使えるようになりましたが、わからないことだらけです(^_^;)例えば、文字列を出力しようとしても、カッコつきのまま出力されたり、複数の出力ができなかったり・・・あとわかったことは、lispにもいろいろな方言があるとい…

Lispやってみた

Lispを学び始めたんですが、いかんせんLispの解説サイトが少ない・・・ やはりマイナーなのでしょうか? 素数判定のプログラムすらまともに動かない(´・ω・`) なぜ興味を持ったかと言いますと、ラムダ計算ができそうなのが理由です。 良いと思った点は、と…

ニコニコフィーチャー Part43 やまぶし

ニコニコフィーチャー Part42 BONN

スターリング数

S(m,n)をm個の集合からn個の集合への全射の総数とする。 以下の漸化式が成り立つ。 nを固定して求める。 どうやら、S(m,n)は次の式になるようだ。 以下、数学的帰納法で証明する。 ちなみに、スターリング数はS(m,n)をn!で割ったものだ。

ドットボックス 3×3 必勝

Dots&Boxesという外国のゲームの3×3の必勝手順を調べました。 結果は後手必勝となったんですが、問題はプログラムを走らせるとあまりにも早く結果が出るんですよね(-_-;) プログラムが間違ってるのか私が間違っているのか・・・ #include<stdio.h> bool dotbox(int *c</stdio.h>…

ミク セレクション2

ニコニコフィーチャー Part41 ぜんとれ

ニコニコフィーチャー Part40 ManHoleMan

ニコニコフィーチャー Part39 kiyoyan

ニコニコフィーチャー Part38 DestroP

ニコニコフィーチャー Part37 aa

ニコニコフィーチャー Part36 m1a1

ニコニコフィーチャー Part35 paken

ニコニコフィーチャー Part34 ピロシキ+

ニコニコフィーチャー Part33 gohanp

ニコニコフィーチャー Part32 pikonyoro

ニコニコフィーチャー Part31 こだまちゃん

ニコニコフィーチャー Part30 ナニカシイラ

ニコニコフィーチャー Part29 佐原イノ

ニコニコフィーチャー Part28 ppppp

ニコニコフィーチャー Part27 yoyodyne

ニコニコフィーチャー Part26 カトウタイキ/MUKAIBI

ニコニコフィーチャー Part25 KITさん

ニコニコフィーチャー Part24 大丈夫P

ニコニコフィーチャー Part23 effe

ニコニコフィーチャー Part22 逗子 ぴにょん

数学的帰納法はなぜ演繹法なのか

数学的帰納法はよく演繹法だと言われるけど、なぜなのかを私なりに考えてみました。 論理学では、帰納法の反対は演繹法となっています。つまり、数学の定義である数学的帰納法は演繹法なはずです。でも、一つだけ気になる点があります。 よくある次の問題を…

ミク セレクション

およそπ

円周率およそ3というネタでうごメモに一度作品を投稿したことがある。円周率およそ3、評定平均およそ3、お金で買えない天才肌、買えるものは親の金でというものだった。円周率およそ3がずいぶん昔にもてはやされたが、今考えると円周率を3.14で計算する…