新しいものを表示

もう、ルフトハンザのA380は日本には飛んでこないんだろうか・・・><

orange さんがブースト

ドイツ政府、ルフトハンザ航空の救済に向け出資準備-関係者 - Bloomberg bloomberg.co.jp/news/articles/
ああでもまだ大丈夫か

orange さんがブースト
orange さんがブースト

これ好き><
"...ライターであるNicole Carpenterさんは、ふと「どうしてとたけけは裸なんだろう?」と考えたそうです。Carpenterさんの旦那さんは、「そうだね、先週末も同じようなことを言ってたよね。もうやめてくれよ」と返答したとのこと。"

「あつまれ どうぶつの森」でなぜか「とたけけ」だけが裸だと話題に - GIGAZINE gigazine.net/news/20200428-ats

ソーシャル ディスタンスのジレンマ。人は危機を感じるほど人と接触したくなる(ドイツ研究) : カラパイア karapaia.com/archives/52290289

人類がウイルス発見する前(正確にいうと発見はしてるけど)だから"バイキン"になってるのおもしろい><
「大正時代、日本でも流行したスペイン風邪感染対策の為に作られた啓蒙ポスターと調査報告書」の画像 : カラパイア karapaia.com/lite/article/5229

大正時代、日本でも流行したスペイン風邪感染対策の為に作られた啓蒙ポスターと調査報告書 : カラパイア karapaia.com/archives/52290283

そもそもソフトウェアでボカすのがアホらしい・・・・><

第2世代iPhone SEはシングルカメラでどのようにして「奥行き」を計測しているのか? - GIGAZINE gigazine.net/news/20200428-iph

オレンジがメモリ無駄遣いしないとかメモリを安全に使えてるかとかにすごく気をつけて書くようになった最大のきっかけがその時かも><;

すたっくおーばーふろー?><;(MSX BASICで再帰使うプログラミングしててバグってなって恐怖症になって今も恐怖症残ってる><;)

orange さんがブースト

そもそも再帰って無限ループ出来ましたっけ、なんか知らんけど途中で落ちそうだと勝手に思ってる。

オレンジは今は、
単純な数値の変化等でループ脱出の条件が決まる→for
条件の判定に計算が必要になる→while
かも><

もちろんforeachや再帰の方が妥当な場面ではそれら使う><

なんでfor使わない派になってたかの理由はもう覚えてなくて謎なんだけど、Pascalをメインで使い始めた辺りになにかの思想に触れて「forは使わない方がいい><」になったっぽいと言うことは覚えてる><;

オレンジ自身がわりと最近までforは使わないで必ずwhile使う派で、無限ループさせまくりだったからすごく言えるけど、
whileだと無限ループになっちゃうってもっとすごく単純な話で、
「またインクリメント書き忘れた!><;」
だと思う><;

orange さんがブースト

ぶっちゃけforでも簡単に無限ループ作れちゃうので、本当に無限ループを避けたいならイテレータを使うしかない。

orange さんがブースト

冗談はさておき、ループ書くとき事前条件と不変条件と事後条件を列挙して assert とかで確認しておけば、よほどアホなことしない限り確認はできる

スレッドを表示
orange さんがブースト

qiitadon.com/@momosetkn/104076

Coq で停止性証明の付いたプログラムを書けってことですよ (超適当)

古いものを表示
:realtek:

思考の /dev/null