Home > 一般 > 補間

Newer

補間

2014-09-09 (Tue) 17:52
一般

今ひとつ logic における interpolation のイメージが良くわからん．恒真な implication を順序だと思って並べだ時の間を探すってことで良いのだろうか．最初の人がこれを interpolation と読んだ意図はなんだらう？

閑話休題．

何かおかしいので寝よう．

Newer: ことはじめ

Home > 一般 > 補間

Calendar

Categories

アカデミック？(78)
ソフトウェア(362)
- Linux/coLinux(122)
- Meadow/Emacs(26)
- TeX(37)
- Windows(67)
ハードウェア(76)
- PC関係(37)
- マイコン(16)
プログラミング(352)
- C/C++/C#(80)
- Haskell(26)
- Java(33)
- sed/wake/awk(40)
一般(6675)
- カメラ／写真(567)
遊び(79)

Archives

Search

Feeds