誰でもいいから病人の僕を雇ってほしい、ほんとお願いします。
時給1000円の仕事なんて探していない。 正社員になれないのもわかってる。 保険とかもろもろややこしいものもいらないから、お金を稼ぎたいです。 . 僕のスペック ・中卒（正確には高校中退） ・学力的には小卒レベル ・年齢20代 ・資格 普通自動車免許 ・就労経験はなし . 中学生のころにクローン病という病気を発症。当時は過敏性腸症候群だと診断された。 その後腹痛で通学できなくなり、不登校状態で卒業。通信制の高校に進学したが三年で卒業できないとわかった頃、クローン病だと診断されて退学した。 . クローン病ってなに？って人向けに説明すると、粘膜に炎症が起きる病気。原因がわからないので、完治はできない。症状をコントロールするのが目標。 僕の場合症状がでてから診断されるまで間があったので治療が遅れた。クローン病だとわかったときには小腸や大腸で炎症がおきていて、狭窄ができていた。 腸管内で繰り返し炎
静的解析の限界、現実世界との境界
2018年に静的解析をとにかく強力につけまくるのは多分あんまりコストに見合わないのでよくない じゃあ静的解析を窓から投げ捨ててよいかというとそれはただの愚行 (以下、静的解析を普通に使えてる人には自明なことしか言いません) 私が最初に静的解析の限界を感じたのは多分依存型で遊んでいたとき 依存型の力はすごくて、まぁそれもそのはず命題論理から述語論理に進んで元への言及ができるので見かけ上表現力はとんでもなく上がるわけです。例えば「ある方程式を満たす解のみを受け取って何かする」みたいな関数が型として表現できるようになる。 一見すると最強に見えるんだけどこれは実質定理証明をすることなので、制限の強い型をつければつけるほど実装で苦しむ羽目になるということを割とすぐ痛感することになった。 例えば head : Vect (Suc n) a -> a で長さ1以上のvectorの先頭を安全に取り出す関数
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
everyrfc.org
