简介：詳しくは about.html をご覧下さい

原站：http://www.radiumsoftware.com/

标签：radium

“Radium Software”的内容更新

累计：48 篇（自 2007-02-07 起）

更新：约10篇/年，最后更新1400 天前

Radium Software

移行

http://d.hatena.ne.jp/KZR/ に移行しました。... (317 天前)

http://inezha.com/w/27vz9o7

Radium Software

正しさのコストとリスク

それで，けっきょくどうすればいいんだろう？まあ，これまでの「絶対的な正しさは存在しない」だとか，「数学的なアプローチは難しい」だとか，そういうのは深くつきつめたときの話であって，あまり深刻に考えこむ必要はないと思うんだ。ある程度の正しさだったら，それを確かめるための決まりきった手順は存在するし，数学的なアプローチだって，分野によってはそれが有効にはたらく... (317 天前)

http://inezha.com/w/8qsmoo4

Radium Software

プログラムと一般性

それじゃあ数学を真似すればいいのかな？けっきょくはプログラムも，どこかに「絶対的な正しさ」が存在するわけじゃなくて，人と人との間のやりとりの中から「恐らくの正しさ」を見つけ出していくしかない……ううむ，それじゃあ，数学がそれをやっているのを真似すれば，プログラムも「正しさ」を確かなものにしていくことができるのかな。「数学の真似をする」というのは，よさそ... (317 天前)

http://inezha.com/w/o0k6xow

Radium Software

検証と確信

それじゃあプログラムの場合はどうだろう？プログラムの場合も同じで，たとえどんな理屈を持ち出したとしても，そこからいきなり「絶対的な正しさ」を断言したりすることはできないと思うんだ。プログラムが持つべき「正しさ」というのは，そこに関わる人たちの総意のうえに成り立つ「恐らくの正しさ」であって，「絶対的な正しさ」ではない。そこを履き違えてしまうと，ありもしない... (317 天前)

http://inezha.com/w/jjvkg3e

Radium Software

正しさを与えるもの

「正しさ」はどうやって確かめることができるんだろう？たとえば数学なんかは，どうやってその正しさを確かめているんだろう？ 数学は，とても広大で複雑な体系を，論理的な演繹によって築き上げている。論理的な演繹によって動くという理屈ならプログラムも同じこと。それじゃあ，プログラムの「正しさ」も，数学の「正しさ」と同じような理屈で確かめることができるかもしれない―... (317 天前)

http://inezha.com/w/h9s0e36

Radium Software

プログラムと正しさ

プログラムにとっての「正しさ」って，なんだろう？僕らは日常的に，このプログラムのこの部分は間違っているだとか，この部分は正しいだとか，この部分にはバグがあるだとか，バグが無いだとか，そういうことを話し合ったりする。でも，ここでいう「間違い」や「正しさ」，それから「バグ」っていうのは，いったいなんのことを指しているんだろう。ちょっと視点を変えてみよう。た... (317 天前)

http://inezha.com/w/gzkqq3v

Radium Software

Tupper's Self-Referential Formula

Jeff Tupper.?Reliable Two-Dimensional Graphing Methods for Mathematical Formulae with Two Free Variables. In Proceedings of SIGGRAPH 2001, 77-86.トロント大学の Jeff Tupper は，陰関数のグラフを安定して生成するためのアルゴリズム群を考案した。これらのアルゴリズムは Pedagoguery Software の GrafEq というソフトウェアに応用されている。同製品のギャラリーページで... (317 天前)

http://inezha.com/w/u4vb93g

订阅者 ( 1 )

相关订阅源