2013年03月 | サラリーマンのすらすらIT日記 サラリーマンのすらすらIT日記 2013年03月
FC2ブログ

サラリーマンのすらすらIT日記

IT関連を中心とした日々を綴ります。
2013/03/31

数学者でない人の乱暴な数学の扱い

伊藤清氏の「確率論と私」の中に、「数学者の科学的側面と芸術的側面」と題するエッセーがあります。その中で氏は、「科学者は数学者が苦心して作り上げた厳密な理論をあまり顧慮しないで、相当乱暴に数学を扱う」と述べ、例として放射性元素の原子N個が時間と共に崩壊して減少していく状態を、



という微分方程式を立てて解く。これが数学者には我慢のならないものとされています。確かに連続でない量(原子の個数)をあたかも連続であるかのように扱うのは、抵抗があります。私でさえもこれを最初に見た時は「ん?」と思ったものです。氏はこの後、確率論を用いて数学者にも許される論理を展開されています。確率論に疎い私にはあまりついていけませんが。

続きを読む
2013/03/30

DNS情報はifcfg-eth0に書けばよい

ある事情から、CentOS 6.4のPCを2つのネットワークを切り替えて使うことになりました。NICが2枚あれば楽なのですが、あいにく1枚だけなのでifcfg-eth0ファイルを切り替えることにしました。

切り替えるためのシェルは簡単にできましたが、問題はDNS情報。LinuxではDNS情報は/etc/resolv.confに書くので、このファイルも切り替えないといけない。そもそも2つのファイルを切り替える必要があるのか?調べてみました。

続きを読む
2013/03/29

よくわからないgit-gui

先日CentOSにインストールしたGitを使ってみようとチャレンジしました。その前にやっておいたのが、CentOSの日本語化。メニューが全て英語になっているのです。この辺りは至れり尽くせりのUbuntuと違って面倒ですね。Web情報を参考にしてメニューを日本語化することができました。その作業中に気がついたのが、「git-gui」なるメニュー。そういえばGitをインストールすると、git-guiもインストールされると書いてありました。

続きを読む
2013/03/28

Object.prototypeが使えないあるWebアプリ上のJavaScript

現在使っているあるパッケージWebアプリでは、ユーザがある程度自由にJavaScriptでカスタマイズできるようになっています。UIの部分は元々実装されているのですが、UIに少し不満を感じる場合は、JavaScriptで補うことができます。

続きを読む
2013/03/27

難解な本から平易な本へ

今日本屋で、飯高茂著「環論,これはおもしろい」を立ち読みしました。確かにこれは面白い本です。



続きを読む
2013/03/26

「八月の光」今度は読めそう

最近、IT関連で新たなことをやっていないので、書くネタがありません。なので、このところ寝る前に読んでいるフォークナー「八月の光」について少し書いてみます。

続きを読む
2013/03/25

素数が無限個ある証明−その3

「天書の証明」に紹介された「素数が無限個ある」証明のその3です。

続きを読む
2013/03/24

ドラマ「カラマーゾフの兄弟」が終わりました

昨日でドラマ「カラマーゾフの兄弟」が終わりました。原作と異なる箇所は結構ありましたが、充実した内容ですばらしかった。私としては、ドラマで使われた音楽にも満足しました。

続きを読む
2013/03/23

昨日のプログラムを書き換えてみました

昨日のプログラムの実行結果で、素因数分解した箇所の表現がRubyのarrayそのままなので、書き換えてみました。

続きを読む
2013/03/22

素数の積+1が素数かどうかをプログラムで検証してみた

先日の記事で、素数を小さい順に並べたものの積に1を加えた数が素数かどうかという内容を書きました。今日ふと考えたのが、プログラムを書いて確かめてみようということ。得意のPHPよりRubyの方が簡単ではないかと思いました。

続きを読む
次へ>>

■  カレンダー

02 | 2013/03 | 04
- - - - - 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 - - - - - -

■  プロフィール

sookibizviz

Author:sookibizviz
仕事の内容やソフトの紹介を交えながら、日々の悪戦苦闘を綴っていきます。

■  最新記事

■  最新コメント

■  最新トラックバック

■  月別アーカイブ

■  カテゴリ

未分類 (64)
BizViz (24)
IT (1119)
計量 (76)
環境 (26)
数学 (181)
ニュース (46)
本 (187)
音楽 (113)
囲碁 (5)
将棋 (26)
ブログ (14)
日記 (19)

■  FC2カウンター

■  検索フォーム

■  RSSリンクの表示

■  QRコード

QRコード