トップ «前の日記(2005-02-12) 最新 次の日記(2005-02-14)» 編集

日々の破片

著作一覧

2005-02-13

_ 閉じタグがないHTML

</html>が無くても処理するブラウザーが悪いというわけにはいかんのかな。って言うかきっと逆に進むんだろうけど。(想定しているのは、コンパイラのストリクトさとかなので)

 int a
 int b = "a"
で、;が無いというのは多分判定可能だ。
 String a = "aaa"
    + "bbbb"

大丈夫そうだな。"についてはいささか微妙な感じだけど。でもそれって文法違反を認めるってことだな。スピード違反みたいなもので虫の居所とか、査定とか、目にあまるとかの恣意性でもって違反の判定を下すようにするってことだ。

これって、法治に逆行することなんじゃないか。3000年前に韓非子が法治をもって人治に対峙したのは、権力をもつ人間の気まぐれや恣意(孔子の流儀で言えば徳とか仁とかだし、その実体は情とか勘とかだ)で人が裁かれることがないように法という規準を設ける――つまり権力が合理性をもって振舞うように枠組みを作る――安全な体制の確立なのであった。でも、結局はそう固くはできずに現在の世界があったり。

ある意味、科学に通じることであるな、とか。

_ stringとString

話題からはずれるけど(Javaだと思うから)、C#だとC#での型名stringと、CTSのクラス名System.Stringと同一のものに2つの名前があるからどっちを書いてもOKだったり。


2003|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|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|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|09|10|11|12|
2020|01|02|03|04|05|06|07|08|09|10|11|12|
2021|01|02|03|04|05|06|07|08|09|10|11|12|
2022|01|02|03|04|05|06|07|08|09|10|11|12|
2023|01|02|03|04|05|06|07|08|09|10|11|12|
2024|01|02|03|

ジェズイットを見習え