雑感

妙に気張ったサイトがあるが、必要もないのにリフレクションの類を使うのは意味がないだけでなく、コンセプトをあいまいにするという欠点がある。

「あ、ＩＥがサポートした！」など一喜一憂したくない。さらに悪いのは、「あ、ＩＥがサポートしてない！」である。この対処法はいくらもあるが、基本線に徹するのもひとつの生き方である。ところが、基本中の基本と考えているようなことがサポートされていない場合などあり、その解決だけで時間がかかる。

最初から汎用性のない機能を説明するなどまったくテキストとして方針がなっていない。その辺の配慮が、教育的配慮というものである。他人の造ったプログラム言語を説明するには、それなりの配慮がいる。もっともよく使う演算子、関数に、決まった形式がなかったり指定されていなかったり冗長であったりすると、汚いプログラムになる。

Ｆｉｒｅｆｏｘで対応していない機能もある。ブラウザでルビに対応しないのがあり、不便である。括弧書きはいかにもよくない。日本語に特有な機能であり、ブラウザの開発にも開発者およびサポーターの使う言語に依存する部分がある。

PHP: Encrypting the Passwords

Nowadays, you need passwords everywhere, to access to blog admin page, to view member-only BBS, to read articles only available to the selected few, etc. All those sites require passwords. The passwords should be secured at a safe place and they should be safely protected -- encrypted. In PHP, crypt function does the work. It encrypts in a pattern that can be set by another secret keyword.

 
crypt($password,"ea")

Here the secret seed of this encryption is "ea" (happens to be my initials). This is a one way ticket to the password protected world -- there is no way to reverse the encryption unless you decipher the mechanism of PHP's encryption. In the real world checking of passwords, simply compare the resulting mysterious bunch of digits and letters with with the passwords that you would like to check -- with the encrypted ones, with the same secret seed.

 strcmp(crypt($entered_password,"ea"),$password_stored_somewhere)==0

Notice that the string comparison is done with strcmp -- it is PHP's ancient trap. Never compare strings with == operator. PHP's inherent conversion machine might convert the string to some integer (or to any type) before doing the comparison.

IE6で透過PNG

IE6では、そのままでは透過PNGを表示できません。しかし、フィルターを使うと表示が可能です。スタイルシートなどに組み込んで使います。こちらのページでは、ページのヘッダー部分でスタイルを指定しています。

filter:progid:DXImageTransform.Microsoft.AlphaImageLoader(src='title.png');

「IE6でどうやって透過PNG表示するの」
「知らない」
「フィルタ使えばいいんだよ」
「あ、知ってる」
「．．．」

PHPの配列

PHPでは、配列をハッシュのように使えます。便利です。値を変数に置くと、読みやすいコードを書くことができます。

  $springEquinoxDay=(int)(20.8431 + 0.242194 * ( $year - 1980)) 
                       - (int)((double)($year - 1980)/4) ;
  $springEquinox=array(3,$springEquinoxDay,"春分の日");

  $automnEquinoxDay=(int)(23.2488 + 0.242194 * ( $year - 1980)) 
                       - (int)(($year - 1980)/ 4);
  $automnEquinox=array(9,$automnEquinoxDay,"秋分の日");

  $official_holidays=array( array(1,1,"元旦"),
         array(2,11,"建国記念日"),
       $springEquinox,
         array(4,29,"昭和の日"),
         array(5,3,"憲法記念日"),
         array(5,4,"みどりの日"),
         array(5,5,"こどもの日"),
       $automnEquinox,
         array(11,3,"文化の日"),
         array(11,23,"勤労感謝の日"),
         array(12,23,"天皇誕生日"));

春分の日・秋分の日の算出方法は、こちらを参照させていただきました。

ＰＨＰでのログイン管理

ＰＨＰでのログイン管理において、クッキーを使ってセッション番号によって判別する方法を示します。

session_start();
$sessionid=session_id();

if(strcmp($_SESSION['sid'],$sessionid)!=0)
{
$user=$_REQUEST['user'];
$password=$_REQUEST['password'];

if(strcmp($user,$user_cfg)!=0)
{
header('Location: index.php?message=noUser');
}

if(strcmp($password,$password_cfg)!=0)
{
header('Location: index.php?message=noPassword');
}
if(strcmp($user,$user_cfg)==0 && strcmp($password,$password_cfg)==0)
$_SESSION['sid']=$sessionid;
}

セッション番号を記録し、現在のセッション番号と比較するのに、ここではセッション変数を用いています。

セッション変数$_SESSION['sid']に記録されたセッション番号と、session_id()で得られる現在のセッション番号を比較します。もし一致しなければ、ログイン情報をチェックし、一致しなければログイン画面index.phpに移行します。一致すればセッション変数に現在のセッション番号を記録します。

職人芸

昨日は、お隣さんに、庭を拝見させていただいた。日本風の邸宅から、見事に手入れされた庭木が見える。いわく、「刈り込みというのはね」「職人芸なんですよ」「自然に」「はさみが動く」「理論じゃない」。先が見えなければ、刈り込むにもうまくいかないだろうと意見を述べたのだが、「いや、そうじゃない」「波長があって」とおっしゃる。

そんなに技術を魔術にしては困る、それじゃあいったいどうやって教わればいいんだろう、と思ったのだが、あくまで確信をこめて「どこに植えたらいいかって、それさえまったく飲み込めない人間もいるんですよこれが」とこれはまた頓着なくおっしゃる。

興味深く思ったのは、そういえばコンピュータに関しても似たような言い回しがあって、やはり「波長が」と言うのである。「どうも合わない」と思われるノリのブログもあれば、結果が明日になって出てくるようなコンパイルはしたくないという波長もある。しかし、他人に「Ｊａｖａとは波長が合う」と言っても、Ｊａｖａでプログラムを組み、別言語を使用したことがなければ、意味は通じない。「つまらないことに引っかからなくてすむから書きやすい」といっても、これも抽象的な話である。

だから、ようするにそういうことであろうと結論付けている。ようするに、Ｊａｖａプログラムの書きやすさなど、説明しようとすれば「あるべきところに、ちゃんと備わっている」としか言いようがない。それは、類まれなる設計のよさからくるものであり、使う人の質と数によるものであり、ひいては設計したチームのリーダーシップによるものである。

ちなみに、植物を植えつけるなら分散して、いくつかの株に分け、どの場所がもっとも適しているかを見るのが安全である。日当たりと水はけと風通しと、植物でも科によって種によって、好む場所が違う。ある程度の見当をつけたら、さまざまに試みるのがコツというものだと思っている。

C++/CLI でのプログラミング

先日、Visual C++ 2005 Expressでプログラムを書いていて、理解できないコンパイルエラーに悩んだ。何かと言うと、このコンパイルがキーワードチェックをしない。

array<int>^ array={5,4,3,2,1};
array<int>^ test;

分かってみればどうということもないが、「type 'int' unexpected」と出るので、構文のどこがまずいのか、探し出すのに手間取った。

C++/CLI では、Managed C++ をさらに改良した構文を用いて、どこかしらJavaの方式を継承した気配の言語が実装されている。現行のC++からの移行というより、整合性のある構文で、いわく違和感のないプログラム形式を目指しているという。

デリゲートとは、クラス構造を超えてメソッドにアクセスするポインタである。なんと足し算、引き算がある。メソッドを足された順に呼び出すという。

メタなクラス記述用クラスである属性クラスを使える。複数指定でき、引数もとる。Ｊａｖａのアノテーション機能のことだという。しかし、Ｊａｖａではドキュメンテーションにしか使わない。

タイプをメタで記述するテンプレートもある。ジェネリックもある。ジェネリックであればＭＳＩＬで使えるという。制限もつく。推測でタイプを決めるという。

packがないのはプログラムでコンポーネントを記述するメリットを生かしていないと思う。

PHPの出力を取得し、文字コードを変換する

PHPでは、include()関数を使って別のPHPプログラムの出力結果を読み込む方法があります。

 
include("news/news.php"); 

読み込む際に、同時に日本語文字コードの変換を行うやり方を以下に示します。

 
ob_start();
include("news/news.php"); 
$eucContents=ob_get_contents();
ob_end_clean();
$utf8Contents=mb_convert_encoding($eucContents,"UTF-8","EUC-JP");
echo $utf8Contents;

Compare.java

The following is a Java command line tool that searches each line of the file in another file specified. To compile,

javac Compare.java

To run the program,

java Compare data.txt file.txt

import java.io.*;

public class Compare
{
    public boolean contains(String str, String text)
    {
 boolean found=false;
 if(0<=text.indexOf(str))
     {
  found=true;
     }
 return found;
    }
    
    private String readFile(String fileName)
    {
 String text="";
 try
     {
  FileInputStream fis=new FileInputStream(fileName);
  InputStreamReader isr=new InputStreamReader(fis,"utf-8");
  BufferedReader reader=new BufferedReader(isr);
  String line="";
  while((line=reader.readLine())!=null)
      {
   //System.out.println(line);
   text+=line+"\n";
      }
     }
 catch(Exception e)
     {
  e.printStackTrace();
     }
 return text;
    }

    public void compareLine(String org, String dest)
    {
 String text=readFile(dest);
 try
     {
  FileInputStream fis=new FileInputStream(org);
  InputStreamReader isr=new InputStreamReader(fis,"utf-8");
  BufferedReader reader=new BufferedReader(isr);
  String line="";
  while((line=reader.readLine())!=null)
      {
   if(contains(line,text))
       {
    System.out.print("o ");
       }
   else
       {
    System.out.print("x ");
       }
   System.out.println(line);
      }
     }
 catch(Exception e)
     {
  e.printStackTrace();
     }
    }

    public static void main(String args[])
    {
 if(1<args.length)
     {
  Compare compare=new Compare();
  compare.compareLine(args[0],args[1]);
     }
    }
}

PHPによるデータベースアクセス

PHPでは、PDOというクラスを使うと、MySQLなどデータベースへのアクセスが簡潔に記述できます。クエリ操作など、データベース関連の関数が抽象化されているので、データベースに非依存のコードを書くことができます。例外処理機能があるので、よりわかりやすいコードを書くことができます。

手順としては、クラスをインスタンス化し、メンバ関数を実行します。結果はオブジェクトとして返されるので、メンバ関数を使用すると順次値を引き出すことができます。返される値は、デフォルトで連想配列および数値を引数とする配列となります。

try
{
  $dbh=new PDO('mysql:dbname='.$MYSQL_DATABASE.';host='.$MYSQL_HOST,$MYSQL_USER,$MYSQL_PASSWORD);
  $dbh->query("SET NAMES UTF8");   
 
  $sql="select * from photos where data_no=".$data_no;
  $photoSet=$dbh->query($sql); 

  if(!empty($photoSet))
    {
      while($row=$photoSet->fetch())
 {
     echo $row['filename'];
        }
    }
}
catch (PDOException $e)
{
  echo  $e->getMessage();
}
$dbh=null;

オートインクリメントで値を設定している場合には、

lastInsertId()

を使うとインデックス値を得ることができます。

 $dbh->query($sql);
 $data_no=$dbh->lastInsertId();

フォームでブラウザが勝手に文字コードを変換

フォームで日本語の文字列を受け渡す場合に、ブラウザが勝手に文字列をEUCやShift-JISなどに変換してしまう場合があります。

エンコードされた文字列がなんであるかを知りたい場合に、mb_detect_encoding 関数を使うことができます。

まず、フォームにhidden属性で、テスト用の文字列を指定します。

<input type="hidden" name="JapaneseEncoding" value="テスト用文字列">

フォームから値を受け取るPHPのページで、mb_detect_encoding 関数を用いて文字コードを判定します。

文字コードが判定できれば、mb_convert_encoding 関数を用いて、コード変換することができます。

$encoding=mb_detect_encoding($_REQUEST['JapaneseEncoding'],"ascii,jis,utf-8,euc-jp,sjis");
mb_convert_encoding($str,"utf-8",$encoding);

ＰＨＰでＨＴＭＬタグを取り除く

ＰＨＰでは、ＨＴＭＬを「文字通り表示する」 htmlspecialchars($str) という関数がある。

不等号が含まれる文章やコードなど、ＨＴＭＬタグをそのまま表示するときに使う。

それでは、その逆の「タグを除去する」関数があるかといえば、特に設定されていない（らしい）。

正規表現を使うと、それらしきものができる。しかし、クォートで囲まれたカギ括弧などには対応しない。

contents$str="<html a=\">\">contents</html>";
echo mb_ereg_replace("<[^>]*>","",$str);

クォートで囲まれたカギ括弧などは、特別に指定しなければならない。

echo mb_ereg_replace("<[^>]*\".*\"[^>]*>","",$str);

グルジア語について

グルジア語について　リンク集

→ サバイバル・グルジア語　（音声つき、おすすめ）
→ グルジア語の数体系
→ グルジア語のアルファベット
→ グルジア語 (Wiki)
→ グルジア文字 (Wiki)
→ グルジア語のすすめ
→ グルジアへ旅立つ人のためのグルジア語
→ FONTS.GE　（グルジア語フォント）
→ グルジア文字をローマ字に変換してくれるサイト
→ THE GEORGIAN LANGUAGE　（文法まとめ）
→ Georgian Language （学習サイト）
→ グルジア語の能格
→ グルジア語文法 （単行本）
→ 【動画・アニメ】　The Magic Egg (jadosnuri kvertskhi)

グルジア語はフランス語のように、２０進法（vigesimal）をとる。20*n+m　の形で、６５であれば、３ｘ２０＋５と表す。

グルジア語の語変化で、母音を省略して短縮する（syncope）という形がある。megobari（友人） < megobrebi（友人、複数）

数あるグルジア語のアルファベット表記のなかで、現在使われているものは、Mxedruli, Mkhedruli （軍隊の、世俗の）という。

グルジア語では、me iaponeli var.（მე იაპონელი ვარ, 日本人です）のように、ＳＯＶの文型をとることができる。

sakartvelo （グルジア国）というのは、kartveli （グルジア人）に sa～o をつけたものという。

グルジア語をローマ字化する際に、放出音（ejective）の表記が標準によって異なるため、注意が必要である。さらに、グルジア文字での表記での放出音が酷似している。 პარასკევი (p'arask'evi, 金曜日)という単語をみてほしい。კპვとすべて異なる文字である。კがkの放出音、პがpの放出音、ვはvを表す。

ちなみに、グルジア語で、ＮＯはアラ　არა (ara)といい、千をアタシ ათსი (atsi)という。

グルジア語の人称代名詞とコピュラ 動画

	単数	複数
1	მე ვარ (me var)	ჩვენ ვართ (chven vart)
2	შენ ხარ (shen xar)	თქვენ ხართ (tkven xart)
3	ის არის (is aris)	ისინი არიან (isini arian)

名詞の格変化の基本形 → Noun Declension　

主格　Nominative	ეს არის წიგნი (is aris ts'igni)	これは本です	～は
呼格 Vocative	მზეო!　(mzeo!)	太陽よ！	～よ！
対与格 Dative	წერს წერილს (ts'ers ts'erils)	手紙を書く	～を、～に
所有格 Genitive	იმერეთის მხარე (imeretis mxare)	イメレティ地区	～の
具格 Instrumental	მე ვწერ ფანქრით (me vts'er pankrit)	私は鉛筆で書く	～で
副詞格 Adverbial	მეგობრად (megobrad)	友人として	～として

規則動詞の活用
წერ (to write)

	単数	複数
1	ვწერ (vts'er)	ვწერთ (vts'ert)
2	წერ (ts'er)	წერთ (ts'ert)
3	წერს (ts'ers)	წერენ (ts'eren)

規則動詞の過去形

	単数	複数
1	დავწერე (davts'ere)	დავწერეთ (davts'eret)
2	დაწერე (dats'ere)	დაწერეთ (dats'eret)
3	დაწერა (dats'era)	დაწერეს (dats'eres)

グルジア語で動詞の命令形、書け！（da-ts'er-e, დაწერე）は、直訳で書いた！と過去形（アオリスト）となる。

グルジア語の動詞は、アラビア語と同じように語根から派生形を作る。派生形の、人称と数による変化形は、基本形とは異なる。派生形は、語根の前につく母音（ＰＶ）と、後につく要素（Ｐ／ＦＳＦ）を変化させ、-d 形、-i 形などの変化形がある。

-i 形では、დახატავს (da=khat'-av-s) を დაიხატება (da=i-khat'-eb-a) のように、ＰＶに i を、Ｐ／ＦＳＦに eb に変化させる。-d 形では、ააშენებს (a=a-shen-eb-s) を აშენდება (a=shen-d-eb-a) のように、ＰＶを取り除き、Ｐ／ＦＳＦに d を加える。派生系の人称と数による変化形は以下のようになる。

	単数	複数
1	ავშენდები (a=v-shen-d-eb-i)	ავშენდებით (a=v-shen-d-eb-it)
2	აშენდები (a=shen-d-eb-i)	აშენდებით (a=shen-d-eb-it)
3	აშენდება (a=shen-d-eb-a)	აშენდებიან (a=shen-d-eb-ian)

数詞（基数）

1. ერთი erti
2. ორი ori
3. სამი sami
4. ოთხი otkhi
5. ხუთი khuti
6. ექვსი ekvsi
7. შვიდი shvidi
8. რვა rva
9. ცხრა tskhra
10. ათი ati
11. თერთმეტი (tertmet'i)
12. თორმეტი (tormet'i)
13. ცამეტი (tsamet'i)
14. თოთხმეტი (totkhmet'i)
15. თხუთმეტი (tkhutmet'i)
16. თექვსმეტი (tekvsmet'i)
17. ჩვიდმეტი (chvidmet'i)
18. თვრამეტი (tvramet'i)
19. ცხრამეტი (tskhramet'i)
20. ოცი (otsi)

met'i とは"more"を意味するという。

30. ოცდაათი, otsdaati
40. ორმოცი, ormotsi
50. ორმოცდაათი, ormotsdaati
60. სამოცი, samotsi
70. სამოცდაათი, samotsdaati
80. ოთხმოცი, otkhmotsi
90. ოთხმოცდაათი, otkhmotsdaati
100. ასი, asi
200. ორასი, orasi
300. სამასი, samasi
1000. ათასი, atasi

曜日の表し方

日曜日ქვირა (kvira)
月曜日ორშაბათი (orshabati)
火曜日სამშაბათი (samshabati)
水曜日ოთხშაბათი (otkhshabati)
木曜日ხუთშაბათი (khutshabati)
金曜日პარასკევი (p'arask'evi)
土曜日შაბათი (shabati)

昨日　გუშინ (gushin)
今日　დღეს (dghes)
明日　ხვალ (khval)

グルジア文字は、アルメニア文字との類似が指摘されており、ギリシア文字あるいはパフラヴィー文字から発展したものと考えられているという。（ルイ・ジャン・カルヴェ「文字の世界史」）

この本では、パフラヴィー文字がパルティアで使われたと書いてあるが、パフラヴィー語は、サーサーン朝ペルシアの公用語である。

パルティア（２４７ＢＣ頃～２２６ＡＤ）はイランで国の祖として称えるサーサーン朝ペルシア（２２６－６５１）の始祖アルダシール１世より前の古代王朝で、共通語としてギリシア語とアラム語を使用したという。ヴォロガセス１世の時代には非ヘレニズムの風潮が高まり、パフラヴィー語を使用したという。ゾロアスター教の勢いが強まるのは、非ヘレニズムの動きからという。

サーサーン朝ペルシアはゾロアスター教を国教としているが、聖典「アヴェスター」はアヴェスター語で書かれており、サーサーン朝の時代にすでに解読が困難になっていたという。教祖ザラスシュトラの直言とされるガーサー部分は解釈が分かれるという。アヴェスター語はサンスクリット語ときわめて近いという。アラム文字を基本としたアルファベットであるアヴェスター文字で記述するという。

Google Maps ストリートビューが凄すぎて2ちゃんは祭りに

GoogleMap では（ちょっと衝撃的な）ストリートビューが公開されました。

さっそく、近所の散歩を楽しんできました（実際に散歩するより楽しいかも）。

→ GoogleMap （ストリートビューボタンをクリック）

すごい。

一般メディアおよび新聞、ＩＴ関連のニュースメディアを含め、なぜ書いていないのか不思議。と、よく考えてみると、米国では先に公開されていることに気づきました。なんだ。

→ Google Maps ストリートビューが凄すぎて2ちゃんは祭りに (2008-8)

PHP: ランダムなファイル名を返す関数

Ｗｉｎｄｏｗｓ環境のＡｐａｃｈｅ+ＰＨＰでは、tempnam()関数が正常に動作しないようです。仕様かもしれませんが、拡張子は.tmpが自動的についてしまうし、プレフィックスの指定が３文字になるようです。ランダムなファイル名を返す関数を作ってみたので、参考になればと思います。

引数にファイル名の長さを指定してください。

function tempFile($length)
{
$alphanumeric="abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789";
$len=strlen($alphanumeric);
$name="";
for($i=0;$i<$length;$i++)
{
$index=rand(0,$len-1);
$name.=substr($alphanumeric,$index,1);
}
return $name;
}

iPhoneという奇跡

iPod はトラブルフリーである。なにせ、マニュアルがない。実際、説明抜きでも分かるほど使いやすい。感に入ったように「うん、いいね。ぜんぜん違う」「なるほどね。これ皆んな欲しがるわけだ」という返答をもらっている。そうだと思う。動画を動かして、映画など見ていると特に大きなその画面の無駄のないスペースの使い方がアートだと思う。

→ iPhoneという奇跡 (2008-7-13)

WikiにおけるJavaの記述

Java の基本コンセプトは、無論のこと「仮想化」である。そのためには、言語仕様が明確であることが要求される。毎月、あるいは半年毎に変わる仕様にあわせて、仮想マシンを作りたいと思う技術者はいない。

言語仕様もさることながら、ライブラリの仕様もはっきり定義されていなければならない。このあいだ作り上げたプログラムが、ライブラリのAPIを勝手に変更されたために、意味もない警告を出してくる状況は、決して快いものではない。

言葉がいいかげんに使われるものではなく、遊びではないように、プログラミング言語を規定する側はより一層の思いやりを必要とする。プログラムは、単なるアルゴリズムの記述ではあるが、それを読み解くのはコンパイラだけではなく、記述するのは人間だからである。

Java言語の表記法が、C言語に近いのは、時代、社会的背景によるものである。しかし、Javaでは、ベタにメモリアドレスを扱うC言語とは異なり、より安全で自然なプログラミング言語である。範囲外の配列の引数は、例外処理される。オブジェクトはもちろん、それとして扱うことができる。

→ Java

ＰＨＰの変数には、文字通り、どんな型の値を放り込むことが可能です

ＰＨＰの変数には、文字通り、どんな型の値を放り込むことが可能です。つまり、数値や文字列を返すはずの関数の返り値に、ＦＡＬＳＥを返し、例外処理ができます。例として、ゼロでの割り算を例外処理したい場合のコードを挙げておきます。

function divide($x,$y)
{
  if($y!=0)
    $result=$x/$y;
  else
    $result=FALSE;
  return $result;
}

$x=10;
$y=0;
$z=divide($x,$y);
echo "$x divided by $y equals to ";
if($z)
  {
    echo "$z";
  }
 else
   {
     echo "... undefined
";
   }

ＰＨＰでは、変数に型を自由に指定できるため、型を含めて判断したい場合には、見慣れない＝＝＝（イコールサインを３つ重ねた演算子）や！＝＝など使うことができます。

→ ＰＨＰの比較演算子

ＰＨＰについて -- 型変換、可変変数、グローバル変数

ＰＨＰは、サーバーサイドで動くスクリプト言語ですが、これがとても便利。やみつきになります。使っていて、ＰＨＰの言語仕様で、気づいた点を３つ。


１．ＰＨＰでは、文字列が数値にキャスト（型変換）できる。全角数字を半角に変換するには、mb_convert_kana()を用いる。

     $a=(int)"10";

     $str = mb_convert_kana($str, "a");
     $a=(int)$str;

２．ＰＨＰでは、文字列を変数として評価することができる。（Ｌｉｓｐでいう、eval）

     $variableName="newVariable";
     $newVariable="value";
     echo $$variableName;

３．ＰＨＰでは、関数を定義する際に、外部変数（グローバル変数）は関数内でそれと指定せねばならない。関数内での外部変数への代入は、外部変数そのものの値を変えない。

     $globalValue=100;
     function summit($politicalFactor)
     {
　　　　   　global $globalValue;
　　　　   　return $globalValue*$politicalFactor;
     }
     $globalValue=summit(1.3);

「Firefox 3」がギネスブックに認定，公開初日ダウンロード件数の世界記録

一日で最多のダウンロード数をギネス記録にしよう！という、６月１７日に行われた「ダウンロード・デイ」。Ｆｉｒｅｆｏｘ　３のダウンロード数は８００万を超え、見事世界記録を達成したとのこと。現時点で、ダウンロード数は２８７０万件とか。

→ 「Firefox 3」がギネスブックに認定，公開初日ダウンロード件数の世界記録 (2008-7-3)