トップ 最新 追記

十日日記


2005-11-04

Link アルキメデスの原理

三角関数の極限での古典的なイチャモン(?)に、sin(x)/x->1(x->0)を証明するのに扇形の面積を使うのは循環論法ではないか、というものがある。それで厳密派は、弧長を内接する折れ線の上限と定義して凌ぐことが多い。しかし、実際には扇形の面積の元となる円の面積をアルキメデスが微積分を使わずに証明しているので、循環論法にはならないのだという。ただ、その証明方法を私は知らなかった。

ところが、きのうたまたま本棚で見かけた中沢貞治『重積分』(共立出版、1976年)をトイレで読んでいたら、アルキメデスの証明法が「取りつくし法」として詳しく紹介されているではないか。図もなしに詳しく述べる力が私にはないのでざっと書いておくと、はさみ打ちにするところは今も同じなのだが、x > yかつx < yからx = yに持ち込むのではない点が違う。背理法を2回使って、x > yでも矛盾、x < yでも矛盾、よってx = yのように証明する。ここで、何に対して矛盾しているのかというと、それがアルキメデスの原理なのだ。

Tags:

2005-11-05

Link Apple-Intel-USB

来年にはいよいよIntel Macが登場する。Mac本体は長らく購入していないし今後も買う予定はないが、Intel Macには気になる部分がある。それは、FireWire(IEEE 1394)ポートが搭載されるかどうかだ。

iPod nanoも最新の動画対応iPodも、FireWireポートは搭載せずUSB 2.0接続となっている。どうもAppleはFireWireを切り捨てる方向に向かっているのではないかと思わないこともない。この流れとIntel CPU採用とは関係があるのだろうか。(蛇足。FireWireはAppleの、USBはIntelの開発。)

Tags: PC

2005-11-09

Link 今年買った製品の当たりと外れ

家で使っているプリンターのインクが切れたので、アマゾンで注文する。色インクはすべて残量が少なくなっているので、3色とも注文した。シアンだけ値引き幅が大きいことにも軽く驚いたが、もっと驚いたのは発送案内を見たときだ。

配送方法:Sagawa Hikyaku

アマゾンは日通と独占的に契約しているのかと思っていた。翌日たしかに佐川急便が届けにきた。本以外の家電などは、必ずしも日通ではないのか。だからどうということはないが。

ところでIPSiO G7570は、今年購入したPC関連製品の中でも当たりに属する。前にも書いたとおり、B4両面小冊子形式の印刷がどれだけ便利か。レーザープリンター一本槍だったころが嘘のようだ。さほど売れている様子がないのが残念である。

当たりといえば、イーヤマの21.3型UXGA液晶ディスプレイも買って正解だった。デルやアップルのLG社製パネルとは一線を画す国産IPSパネルの品質は、横並びで映すと歴然とする。ProLite H2130は本当にオススメなのだが、こちらの売れ行きも心配である。イーヤマが民事再生申請をしたのも気にかかる。

もうひとつの当たりは、eMachinesのPCのうちAthlon 64搭載モデルのJ6442である。マザーボードが上質ではないためI/Oが意外と遅いとか電源が貧弱といった問題はあるが、性能を考えれば十分に安い。いまは後継機のJ6448が出ていて、そこそこ売れているようだ。

はずれの筆頭はAdobe Creative Suite 2である。新機能のうち私が便利に使えているのはIllustrator CS2のライブトレース(ストリームライン)くらいだ。Photoshop CS2はメニューやウィンドウまわりが標準APIではなさそうだし、InDesign CS2は変更点が私にはよくわからない。Acrobat 7のコンテキストメニューはOffice 12のリボンを先取りするもののような感じだが、動きが気持ち悪い。私はメニューを位置によって覚えているので、位置が毎回変わるとかえって混乱してしまう。Borland C++ Personalも、パーソナル版にはデータベース関連機能が付属しない段階で購入失敗だった。

Tags: PC

2005-11-10

Link Windows用スティッキーズの決定版

Mac OS、OS Xでスティッキーズを使ってきた人はいるだろうか。ひとことで言えば、デスクトップに貼りつける付箋紙だ。アスキー『デジタル用語辞典』には、簡単な説明に加えて次のようにある。

ドラッグ&ドロップに対応し、テキストファイルとの間でデータの読み込み、書き出しが可能。ウインドウシェードと組み合わせると、タイトルバーにメモの1行目を表示できる。

この2文で表わされた機能が、Macらしいと私が思うところだ。Windows用にも付箋紙ソフトは洋の東西を問わず幾種類とあるが、この2点を備えているソフトは数少ない。というより、私は1種類しか知らない。その唯一のソフトは、Stickypaperという。

Stickypaperはスティッキーズよりも多機能で、D-monkeyによるスクリプトにも対応している。付箋紙をRSSリーダーとして使うなど、簡単なウィジェットの代わりにもなるだろう。しかしそれ以上に、上に挙げたような使い勝手を高く評価したい。

画面解像度が高くなると、ソフトウェアの使い勝手は変わってくる。たとえば以前、タスクトレイの表示を制御するソフトを使っていた。タスクトレイに多くのアイコンが並ぶと、ウィンドウを表示させる領域が狭くなるからだ。ところがUXGAの画面だと、アイコンがいくつ並ぼうがさして狭くは感じない。そのソフトは不要になった。その一方、スティッキーズはデスクトップの余白を活用するソフトだから、広い画面になればなるほど便利になる。

Tags: PC

2005-11-17

Link overflow:hidden/autoの副作用

ブログの中には、Internet Explorerにおいてスペースバー打鍵によるスクロールが行なえないものがある。もう少し詳しく書くと、本文が書いてあるところをクリックすると、その後スペース・スクロールができなくなる。本文から離れたところをクリックすると、再びスクロール可能となる。わりと最近の、いかにもブログっぽいところでダメになることが多い。はてなやtdiaryでは大丈夫だ。

phpspot開発日誌もそうしたブログのひとつだ。このページの11月15日記事を通じて、WebページのDOM構造を可視化するMS謹製ツールバーを知ったので、スペース・スクロールが効かないブログをまわって原因を探ってみた。その結果、CSSのDIVにoverflow:hiddenまたはautoを指定しているとスクロール不可になることが判明した(参照:overflowについて)。使用に注意を促しているページもある。bodyもしくは本文のところは、visibleにしておいたほうがよさそうだ。

ともあれ、理由が解明できたので、ブログシステムを取り入れてもいいかという気持ちになった。近々さくらインターネットでSeesaaブログが使えるようになるらしいので、そちらへの移行を検討したい。

Tags: web

2005-11-20

Link フレームワーク雑話

さらながらホームページビルダーを買ったのには、わけがある。

今年に入ってから評価を大いに改めた製品群に、Visual BasicやDelphiといったアプリケーション促成開発(RAD)のためのツールがある。GUIでペタペタと部品を貼りつけてコードを書いていくのは気軽でいい。何より時間がかからない。

Webアプリケーションの世界におけるRADツールに当たるのが、当節流行のWebアプリケーション・フレームワークなのだと私は想像している。ただ、その完成度はVBやDelphiには遠く及ばない。Webアプリ開発には複数の言語を横断する必要があるから仕方がないが、不満といえば不満ではある。せめて表示系に関して、HTML/CSS/JavaScriptをUIという観点から統一的に扱える仕組みが考えられるとよいのだが。ホームページビルダーを買ったのは、そのあたりに期待を抱いたからだ。その期待は過度であったと思うが、今度のバージョンではODBCからデータを引っ張ってこれるというので、懲りずに更新する予定である。

Rubyの世界ではRailsが市場を席巻している。Perl界もCatalystの勃興が著しいらしい。PHPは混沌としているが、Javaの影響を大きく受けたフレームワークに対して、Railsっぽいフレームワークが出てきている。前者としてはMojaviやAgaviが代表的あり、後者にはCakeやBuicuitがある。ちょっと目を見開かされたのはSymfonyというフレームワークで、JavaScriptライブラリなども統合されていてAjax対応のWebアプリケーションが開発できるようになっている。これも最近流行の10分ハッキングで、アップルストアまがいの買い物カゴを作成する実演ムービーを流している。

ただ、そういうフレームワークを見ていて思うのは、想定されているデータベースが単純だということだ。入り組んだER図から作られるデータベースの場合、そう簡単にコトが運ぶのかという疑問が浮かぶ。要は、作成者が舗装した道から外れた開発をするときに、余分な負担がどれくらい発生するか(あるいは道から外れることができないか)が気がかりなのだ。下手をすると、心易いPEAR/PECLライブラリやテンプレートエンジンを組み合わせてフレームワークもどきを自作するほうが早い。

巨艦フレームワークに対するアンチテーゼとして、GuessWork Classicはおもしろいと思う。必要最小限の機能を見通しよく実装することを目的としているようだ。ドキュメントを読んで気に入ったのは、道から外れる方法が銘記されていることだ。

Tags: web

2005-11-24

Link ブログとコウモリ問題

さくらインターネットでブログ(Seesaa)の申し込みをし、使いはじめた。テンプレートが気に入らないものばかりなので、HTMLとCSSとを修正していく。そろそろ自分の知識も一新させたほうがよかろうと思い、『スタイルシート スタイルブック』(翔泳社、2004年)を購入。ずいぶん取り残されていたものだ。css Zen GardenCSS Table Galleryも最近知ったし、A List Apartに至っては昨日はじめて訪れた。デザイナーの方には著名なサイトらしい。(参考:デザインがかっこいいブログ。

ブログは2段組とし、サイドバーは右に置く。左段の本文は可変幅で、いわゆるリキッドレイアウトというものにしたい。サイドバーを右にするのは印刷時に右が切れても本文を読めるようにするためで、Joel on SoftwareがIEでいつも切れて印刷されてしまうのを教訓とした。また、左段を可変幅にするのにはネガティブマージンという技を使う。そんな具合で、暇を見つけては修正作業を行なっていた。

ところが、Seesaaブログの機能で私としては使うに耐えない問題を発見したので、「さくらのブログ」の使用は取りやめざるを得なくなった。その問題とは、1本の記事を1つのカテゴリにしか分類できないという仕様である。

分類を少数にとどめようとすれば、排反な分類は行なえない。(排反にすれば、それだけ分割が細かくなる。)いっぽう分類が排反でないと、コウモリ問題が発生してしまう。ところがこの問題は索引をつければ解決するわけで、計算機の中の話であれば索引作成は容易であり、運用上の困難はない――と思われた。そこへきてSeesaaの仕様を知り、驚いた次第だ。

1本の記事を複数のカテゴリに属することができるブログとしては、有名どころではココログがある。また、tdiaryもそうだ。後者はさくらで標準的に用意されているから、結局tdiaryを使うことになりそうである。tdiaryで気に入らないのは日付がセクションよりも上位に来る(本当は日付は記事の属性であってほしい)ことだが、この点は妥協できる。

Tags: web
本日のツッコミ(全9件) [ツッコミを入れる]

Before...

Link Pharmf722 [Very nice site!]

Link Pharmd521 [Very nice site!]

Link find this [IIAlbT Major thanks for the article post.Thanks Again. Rea..]


2005-11-27

Link 財産区

このまえ道を歩いていたら、選挙管理委員会が選挙前に組み立てる木製の看板を見かけた。選挙があるとは耳にしていなかったので看板に近づいて中身を改めたところ、「枚方市津田財産区議会議員選挙」云々とある。財産区とは耳慣れぬ言葉だが、市が管理しているのだから私的なものでもなかろう。そのときとっさに浮かんだのは、枚方市が津田町を合併したことと何らかの関係があるのではないか、ということだけだった。

帰宅してから調べてみると、財産区は特別地方公共団体の1つで、地方自治法の294条〜297条に定められている。もともとは明治時代に市制・町制を実施するときに、村が所有していた山林などの共有財産を地元に委任させるために設けられた制度であるらしい。神戸市には財産区が160もあるという。

さて、枚方市内に存在する財産区は津田・氷室・菅原の3種だけである。Wikipediaによれば1940年に「津田村、氷室村、菅原村が合併し津田町に」なったというから、旧津田町が関係しているのは間違いなさそうだ。合併から50年たつというのに、いまだに名残があるのか。

地方分権の話題は耳にすることが多いが、財産区の話は聞かない。

Tags:

2005-11-28

Link エディターを乗り換える

Wz Editor 4.0Feを惰性で使いつづけている。エディターだけでなくメーラーもWzに依存しているので、移行を試みては挫折してきた。また、印刷スタイルなど気に入っている部分もある。しかし、色分け機能に正規表現が使えないことと、EUC-JPファイルの誤認識率が高いこと、JIS第2水準外でUTF-8にだけある文字が表示できないことは、コードを書くためのエディターとしては痛い。

Wz Editor 5.0へのアップグレードを無期限で受け付けていることを知ったこともあり、思い切ってアップグレードしてみた。ところが、今度はメーラーの使い勝手が控えめに言っても悪い。正直に言うと、まったく使っていられない。色分けに正規表現が使えるようにはなったが、EUC-JPファイルの誤認識は相変わらずだ。5.0は放棄して、PHPのコード書きには別のエディターを使うべきだと悟る。

結局いまは、プロジェクト単位でファイルを扱うときにはPeggy Proを、PHPファイル単体を扱うために.phpファイルの関連づけにはPHPエディタ スタンドアロン版を使用している。色分けやコード補完は後者のほうがPHP専用だけあって優れているのだが、キーカスタマイズができないので、長時間コードを書くには向かない。

両者ともPHPマニュアルのchmファイル(Windowsヘルプファイル)を検索する機能を備えていて、これが実に便利だ。PHPは何でも関数にする傾向があって、『PHP辞典』を斜め読みしていると知らない関数が出てくる。この前もfgetcsvを初めて知ったところだ。他人のコードを読むときにも、ワンタッチで検索できるのはありがたい。

Tags: PC

2005-11-29

Link 定量的な話

大手製造業者のシャンプーや石鹸が「合成洗剤」であり使用は危険だとして、純石鹸を推奨するページというのは、検索してみると意外と見つかる。そうしたページを眺めると、ネズミに原液をかけたまま放置して脱毛させた写真や、民間医療でよく見かけるような煽り文句が出てくる。およそ科学的とは言いがたく、大手製造業者がテレビで放映している広告と同レベルでしかない。というより純石鹸の広告と見なすべきなのだろう。

必要なのは定量的に語ることだ。エデト酸塩が危険だとして、どの濃度ならどれだけ危険なのか。洗い流したときにどれだけ残留するのか。そうしたデータがないと、判断のしようがない。ちなみに、エデト酸塩はソフトコンタクトレンズの洗浄保存液にも使用されている。ソフトレンズは水ですすがないから、保存液は皮膚どころか粘膜に触れるわけで、しかもずっと残留することになる。ところが保存液について声高に危険性を訴えたページは見たことがない。売るべき代替品が存在しないからだろう。

定量的な話題と書いていつも思い出すのが、オーディオの科学である。この中の「科学的とはどういうことか?」は啓蒙的なよい文だと思う。このサイトから例を引くと、「ケーブルの銅線は純度が高いほど電気抵抗が小さく、信号がよく伝わる」というのは正しい命題である。これだけを見れば、純度の高い(もちろん値段も高い)ケーブルを買ったほうがよさそうに思えてくる。しかし定量的に見れば、4N品(99.99%)から6N品(99.9999%)に変えたところで、室温が1℃上がればその効果は帳消しになってしまうという(「ケーブル線材についての3つの迷信」)。

Tags:


プロフィール

渡辺 慎太郎(na@10days.org)

分野別表示

Admin | Client | Dev | Excel | Linux | PC | PDA | Web | iPad | web | 家電 | 文具 | | 英語 | 言語 | | 音楽

月別表示

1999|07|
2003|05|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|

最近の記事

雨量情報 dictionary.com Yahoo google Yahoo! 路線情報 東京アメッシュ l-mura l-aka l-momo 目次 r-mura r-aka r-daidai r-kiiro asahi.com nogulabo r-sora r-midori r-midori r-momo