Haskell の sum と product を Scheme で実装

sum takes a list of numbers and returns their sum.product takes a list of numbers and returns their product. ghci> sum [5,2,1,6,3,2,5,7] 31 ghci> product [6,2,1,2] 24 ghci> product [1,2,5,6,7,9,2,0] 0 http://learnyouahaskell.com/starting-o…

空リストはアトムかリストか?

() もアトムの一種である。 とのことだが、Racketで > (list? '())とやると #t と評価される。空リストはアトムかリストか、結局どっちだ? ちなみにThe Little SchemerではS式がアトムかどうか判別する関数として (define (atom? x) (and (not (pair? x)) (…

SpringerLink eBooks ダウンローダー

SpringerLinkのebookは1章ずつしかダウンロードできないので面倒。全章ダウンロードして1つのPDFファイルに結合するまで自動で行うプログラムを作った。 #!/usr/bin/perl # slinkdown.pl use strict; use warnings; use Getopt::Long; use Web::Scraper; use…

アドレスの埋まる順番

C

今読んでいる教科書中の実行結果と、自分の環境下での実行結果が違ったのでメモ。 #include<stdio.h> //tes5.c int main() { int i; int num; int ary[5]; printf("The address of a is %p\n", &num); printf("The address of ary is %p\n", &ary); for(i=0;i<5;i++){</stdio.h>…

Twitter ダウンローダー

指定したTwitterアカウントのツイートを、指定した数だけテキスト形式でダウンロードするプログラム。 #!/usr/local/bin/perl # tdown.pl use strict; use warnings; use LWP::Simple; use Time::Piece(); # 本日の日付を名前にしたフォルダを作成 my $local…

文字列から前後の空白を削除する

#!/usr/bin/perl $str = " aaa bbb ccc "; print "With spaces: >>>", $str, "<<<\n"; $str =~ s/^\s+//; $str =~ s/\s+$//; print "Without spaces: >>>", $str, "<<<\n"; With spaces: >>> aaa bbb ccc Without spaces: >>>aaa bbb ccc はては記法のせいで…

s/// 演算子に区切り文字を使わない

区切り文字を使わず、前後の PATTERN 部分をかっこ類で括るだけでよいみたいだ。 #!/usr/bin/perl $str1 = $str2 = "aaa425bbb586ccc"; $str1 =~ s/[0-9]/_/g; print "区切り文字を使う:$str1\n"; $str2 =~ s{[0-9]}{_}g; print "区切り文字をわない:$str2…

return の置きどころ

#!/usr/bin/perl sub printMsg { print "Message\n"; return; } &printMsg; Message となる一方、 #!/usr/bin/perl sub printMsg { return; print "Message\n"; } &printMsg; となる。returnはサブルーチンから戻り値を返すだけでなく、その場でサブルーチン…

ジョン・ホスパ−ス「説明とは何か」(John Hospers, "What Is Explanation")

(Introductory Readings In the Phylosophy of Scienceより) 「科学はたんに現象を説明するだけで,なぜそうなのかについては答えられない」というふうに言われることがある.また,「科学は法則を導くだけで,なぜその法則が存在するのかについては答えら…

露伴資料に関しまして

軽薄先生前略 東京の凡骨です.桜は週末にあらかた散り終えました.身辺人事,変化はありません.資料調査の進捗状況です.国会図書館から以下の文献コピーを入手しました.のちほど全文をスキャンしてメールでお送りしますが,プロジェクトに使えそうな記述…

曜日と日付

スーパーで買い物をするときに、賞味期限を見て迷うことがある。それは、たとえば平日はあまり家で食事をしないとすると、今日買った品物が次の週末まで持つかどうかというのはとても重要なことなのである。生活が曜日中心で動いている以上、これと似たよう…

志賀浩ニ『無限への飛翔 集合論の誕生』

無限への飛翔 集合論の誕生 (大人のための数学 3)作者: 志賀浩二出版社/メーカー: 紀伊國屋書店発売日: 2008/02/06メディア: 単行本(ソフトカバー)購入: 1人 クリック: 25回この商品を含むブログ (8件) を見る集合論には,四則演算や極限概念や,また微分…

アラン・ブーヴィエ『集合論』

集合論 (1971年) (文庫クセジュ)作者: アラン・ブーヴィエ,川尻信夫出版社/メーカー: 白水社発売日: 1971メディア: 文庫 クリック: 1回この商品を含むブログ (1件) を見る周知のように,集合論はカントルの創始にかかるものである.しかしながら,彼の集合論…

カール・G・ヘンペル『自然科学の哲学』(4章「確証と受容可能性の基準」)

(1-2章)と(3章)の続き. テストによって色々な種類の証拠が集まると,仮説の信頼性(credibility)が著しく増すことがある 例えばスネルの法則(光の屈折の法則.異なる媒質の境界に光が入射するとき,入射角の正弦と屈折角の正弦との比 sinα/sinβは,どの…

動物は次のごとく分けられる

昔どこかで見たリスト. o. 識別できない色彩をもつもの p. 毒の猿 q. 法王の楽器を奏でるもの r. この分類自体の外部に立つもの s. 王の最後の手紙を食すもの t. 走るというよりも,むしろ生えているようなもの u. 地質学的な隠喩で示されるもの v. 6mまで…

カール・G・ヘンペル『自然科学の哲学』(3章―仮説のテスト:その論理と力)

(1-2章)の続きで概要のメモ.といっても実は,本書に書かれていない事柄(id:satio12345の勝手な解釈と思い込みによる水増し)が断りもなく含まれているので注意. 実験的テストと非実験的テスト 仮説のテスト含意は,通常以下のような条件文として表され…

ジョナサン・レセム「スーパーゴートマン」

Super Goat Man : The New Yorker あらすじ スーパーゴートマンという男が僕の町にやって来る.スーパーゴートマンはコミックヒーロだったがあまり有名でない.額に角があって,喉と耳に毛が生えているだけの男,スーパーゴートマン.ヒーローから落ちぶれて…

カール・G・ヘンペル『自然科学の哲学』(1-2章)

自然科学の哲学 (1967年) (哲学の世界〈7〉)作者: カール・G.ヘンペル,黒崎宏出版社/メーカー: 培風館発売日: 1967メディア: ? クリック: 3回この商品を含むブログ (4件) を見る概要 1章 この本の範囲と目的 科学は以下のように分類される. 非経験科学(形…

Introductory Readings in the Philosophy of Science (2)

(1)の続き. カール・ポパー「科学:推論と反証」 概要メモ Section I 私は,科学と疑似科学を区別するにはどうすればよいかという問題(線引き問題)に悩んでいた. 「科学と疑似科学の違いは,実証的方法が採用されているかいないかだ」という答えには満足…

黒川健吉

23. コウモリも風情 未来都市のイメージを彷彿させる東京だが、吉祥寺の井の頭公園に源を発し隅田川に合流する神田川沿いには、 実は大量のコウモリが住み着いている。 日の沈む頃になると、コウモリの大群が一斉に夜空に向かって騒がしく飛び立っていく。特…

Introductory Readings in the Philosophy of Science (1)

Introductory Readings in the Philosophy of Science作者: E. D. Klemke,Robert Hollinger,David Wyss Rudge,A. David Kline出版社/メーカー: Prometheus Books発売日: 1998/11/01メディア: ペーパーバック クリック: 3回この商品を含むブログ (1件) を見る…