アカウント名:
パスワード:
皆さんも経験ありますよね（？）
仕様通りに作るとおかしな動作になる。仕様そのものも検証対象だと学んだのが一年目
あと学ばないといけないのは仕様にねじれがあると上司に報告してもいいからそのまま作れと言ってくる証拠のデータをメールに添付しても見もしないそのままだとねじれ仕様通りに動いて内部の切り替えで本来の機能から想定される動作になるように作ると動作がおかしいと上司が怒る仕様に問題があったと言うとなんで報告しなかったと怒る報告したメールのメッセージIDを明記してもそんなもの知るかと言い出すそのソフトの依頼主には俺が勝手に仕様を変更したとか言い出す上司の上司に相談するとそいつもグルくらいは基本ですね絶対AC
上司だけがソレならともかく、上司の上司もソレだとすると、転職をお勧めします。
御同輩(涙)
メールを印刷して、はんこを押す枠を書き込んで、自分→上司→その上司と、押してもらいに回るとか？
だからサイコパスの素質があって良心の呵責が弱い人にとってはそういういい加減な仕事をする側に回った方が得で賢い選択肢なんだよねそうしてクズ管理職ばかりで株主価値の無い腐った職場が出来上がる
あれ？俺いつ書き込んだかなぁ。。
たかだか数行の日本語文章にこんなにバグ入れ込むあなたも大概だとおもうなあ句点つけるだけである程度デバグできるよ
そこで形式手法ですよ数学的にプログラムのバグが無いことが証明されるその結果、仕様に多くのバグが含まれることが証明される
なんかそういう言い方をすると胡散臭く感じるけど、たいていの職業プログラマーはすでに日々形式検証のお世話になっているはず。型システムっていうんですけど。AIは実用化されるとAIと呼ばれなくなるみたいなパラドックス
型システムも、動かすまで検証されないのも普通は形式手法には含めないけど。最近のCPUは設計の一部を形式手法で検証されてるけど、ソフトではあまりないんじゃないかな。
型はコンパイルでチェックされるから「動かすまで検証されない」わけじゃないぞ確かに普通は含めないけど原理的には含まれるし、ンなことはコメ主もわかっている
静的型システム(コンパイル時に検知される)と言ったほうが良かったですかね。
残念ながらダックタイピングのため対象箇所を動かすまで検証されません。
形式手法はモデルないしアルゴリズムまでしか検証しない実装や実環境を理想化してるから実務に落とし込むならそれらとの整合性を取らないといけない聞きかじりやら理論屋(笑)はそういう面を無視するし、だから何十年たっても広まらないんだよ
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
計算機科学者とは、壊れていないものを修理する人々のことである
バグではありません！仕様です！ (スコア:2, おもしろおかしい)
皆さんも経験ありますよね（？）
Re:バグではありません！仕様です！ (スコア:1)
仕様通りに作るとおかしな動作になる。仕様そのものも検証対象だと学んだのが一年目
Re:バグではありません！仕様です！ (スコア:2, 興味深い)
あと学ばないといけないのは
仕様にねじれがあると上司に報告してもいいからそのまま作れと言ってくる
証拠のデータをメールに添付しても見もしない
そのままだとねじれ仕様通りに動いて内部の切り替えで本来の機能から想定される動作になるように作ると動作がおかしいと上司が怒る
仕様に問題があったと言うとなんで報告しなかったと怒る
報告したメールのメッセージIDを明記してもそんなもの知るかと言い出す
そのソフトの依頼主には俺が勝手に仕様を変更したとか言い出す
上司の上司に相談するとそいつもグル
くらいは基本ですね
絶対AC
Re: (スコア:0)
上司だけがソレならともかく、上司の上司もソレだとすると、転職をお勧めします。
Re: (スコア:0)
御同輩(涙)
Re: (スコア:0)
メールを印刷して、はんこを押す枠を書き込んで、自分→上司→その上司と、押してもらいに回るとか？
Re: (スコア:0)
だからサイコパスの素質があって良心の呵責が弱い人にとっては
そういういい加減な仕事をする側に回った方が得で賢い選択肢なんだよね
そうしてクズ管理職ばかりで株主価値の無い腐った職場が出来上がる
Re: (スコア:0)
あれ？俺いつ書き込んだかなぁ。。
Re: (スコア:0)
たかだか数行の日本語文章にこんなにバグ入れ込むあなたも大概だとおもうなあ
句点つけるだけである程度デバグできるよ
Re: (スコア:0)
そこで形式手法ですよ
数学的にプログラムのバグが無いことが証明される
その結果、仕様に多くのバグが含まれることが証明される
Re:バグではありません！仕様です！ (スコア:1)
なんかそういう言い方をすると胡散臭く感じるけど、たいていの職業プログラマーはすでに日々形式検証のお世話になっているはず。型システムっていうんですけど。AIは実用化されるとAIと呼ばれなくなるみたいなパラドックス
Re:バグではありません！仕様です！ (スコア:1)
型システムも、動かすまで検証されないのも普通は形式手法には含めないけど。
最近のCPUは設計の一部を形式手法で検証されてるけど、ソフトではあまりないんじゃないかな。
Re: (スコア:0)
型はコンパイルでチェックされるから「動かすまで検証されない」わけじゃないぞ
確かに普通は含めないけど原理的には含まれるし、ンなことはコメ主もわかっている
Re: (スコア:0)
静的型システム(コンパイル時に検知される)と言ったほうが良かったですかね。
Re: (スコア:0)
残念ながらダックタイピングのため対象箇所を動かすまで検証されません。
Re: (スコア:0)
形式手法はモデルないしアルゴリズムまでしか検証しない
実装や実環境を理想化してるから実務に落とし込むならそれらとの整合性を取らないといけない
聞きかじりやら理論屋(笑)はそういう面を無視するし、だから何十年たっても広まらないんだよ