coq という証明支援システムについて教えてもらったので、macで環境構築をした。coqの開発環境を整えるには、 Download | The Coq Proof Assistant からMac版をダウンロードする proofgeneralというemacsプラグインを落とす という二つの手順を踏むのだが、i…

全脳アーキテクチャと呼ばれるプロジェクトを主催していらっしゃる一杉先生が、2011年に日本ロボット学会誌上に出された大脳皮質とベイジアンネット(2011)を読んだ。 概要 本記事では、大脳皮質のモデルとしてBESOMモデルを提唱する導入を述べてある。 大脳…

つい先日まで暑かったのにもかかわらず、ここ数日少し肌寒くなってきた。「夜の秋」という季語は、どことなく秋めいた感じがすることをいう夏/時候の季語である。 角川俳句歳時記には、 風物の状態はまだ夏であるのに、晩夏の夜など、どことなく秋めいた感じ…

matlab を使用している時、sscanfで数字と文字列とを混ぜて取得した際に、文字列はascii 数値として読み取られてしまうようです。 char(hoge)' とすると文字列として変換できます。

違うPCに、自分のemacs設定ファイルを入れたら、こんなエラーが。Wrong number of arguments: called-interactively-p, 1コンパイルされたelcファイルが、emacsのバージョンに不適合なようです。 init.elcを消すのはもちろん、子ディレクトリのelcファイルも…

windows 10に変えて１０日ほど経ちますが，すっきりとした見栄えでとても満足しています．ところが，新しいアップデートで突然wifiが使えなくなってしまいました．(surface pro) ということで，私がとった修復策を書きます． デバイスマネージャを開く ネッ…

問題（http://poj.org/problem?id=3046） ラベル１〜T（11000）をつけたアリがA匹います。 各々のラベルをつけたアリは、匹（）です。 サイズがS〜Bの異なる集合は何種類あるでしょうか。 異なる集合を数え上げたいので、各々の集合は昇順に並べられていると…

問題 (http://poj.org/problem?id=1742) n種類のコイン ,,・・・が、それぞれ, , ・・・枚ある。 m円以下の価格を、何種類お釣りなしに支払うことができるか。 最初は、動的計画法を用いず、setで一意性を担保し全てを足していったが案の定TLE。 個数制限付…