サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
掃除・片付け
zakky-dev.hateblo.jp
ツイート #今日の30分 -3分。「Team Geek」70ページまで。バグ管理、エンジニアリング文化、サーバントリーダーの話。バグ管理する場合、記録と優先順位付けが必要になる、という話。まあ見つけてすぐ修正、だといつまでも先に進まないしな。そして優先順位がないと、どうでもいいバグから手を付けたりする。— ざっきー dev (@zakky_dev) June 30, 2019 #今日の30分 「Team Geek」82ページまで。リーダーシップのアンチパターンとパターン。採用を妥協すると管理コストが重くなりすぎるという話と、チームを子供扱いすると逆にコストが高くつく、という話、どちらも見覚えあるなー。たぶんティール組織と管理ゼロ本だった気がする。— ざっきー dev (@zakky_dev) July 1, 2019 #今日の30分 +3分。「Team Geek」95ページまで。リーダーシ
ツイート #今日の30分 -3分。「組織パターン」130ページまで。顧客たちを巻き込め、顧客の代理、シナリオが問題を定義する、防火壁、門番。顧客と開発組織のやり取りのパターン。基本方針は「顧客たちを巻き込め」で、それができない場合のパターンや、それを補完するパターンっぽい。— ざっきー dev (@zakky_dev) May 13, 2019 #今日の30分 -1分。「組織パターン」144ページまで。自分たちで選んだチーム、目的の統一、チームのプライド、スカンクワークス、パトロン、多様な集団。人選、チームビルディング、組織内の立ち位置、の3種で分類できそうな感じ。聞き覚えや見覚えのあるパターンが多かった印象。— ざっきー dev (@zakky_dev) May 14, 2019 #今日の30分 -3分。「組織パターン」157ページまで。人気者、婦長、全体論的多様性、偉人、賢い愚者。チー
はじめに この記事はF# Advent Calendar 2014の10日目の記事です。 前日はbleisさんの「クラスのコンストラクタ呼び出し時にプロパティも同時に初期化する」でした。 本日はTipsからちょっと外れてネタをご紹介します。 タイトルにもある通り、コンピュテーション式のお話です。 コンピュテーション式とは何ぞや 式変形により、言語の提供する構文の意味を変更することのできる強力な機能です。 その辺りの細かいことなどを知りたい場合は言語仕様を読みましょう。 さて、今回はその「式変形」に着目してみました。 本題 式変形という素敵ワードを聞き、そこで湧き上がる疑問があります。 すなわち「式変形するって言うけど、それって本当に言語仕様通りなの? 同じように動作するだけで、実は違ったりしない?」 当然、気になりますよね? 気にならないわけないですよね? 気にならない人も気になってきたか
久々の記事もまたCoqでソフトウェアの基礎ネタです。 今回はList_Jにおける練習問題「rev_injective」について。 問題のTheorem Theorem rev_injective: forall l1 l2: natlist, rev l1 = rev l2 -> l1 = l2. ソフトウェアの基礎ではCoqコードではありませんが、型Xの部分をnatとしてCoqコードにするとこんな感じになります。 これについて証明していきましょう。 定理の意味を確認 まずはとにかく定理を見てみましょう。 Theorem rev_injective: forall l1 l2: natlist, rev l1 = rev l2 -> l1 = l2. revはリストを反転させる関数です。 つまりこの定理は、 rev関数の結果が一致するならば、引数のリストは一致する ということになります。
ちょっとした前置き TaPL? TAPL? どっちなんでしょう。 ということで8月2日に開催されたTAPL読書会@名古屋#1に参加しました。 短歌会館というところの和室を借りて行いました。非常に雰囲気の良い所でしたので、お勧めです。 ただし無線LANとかはないので注意しましょう。 当日のメモ 3章. 型なし算術式 プログラミング言語を定義するための定義とかが書かれている章。 3-2 プログラミング言語の経験からニュアンスでBNFモドキを理解してきたが、これを数学的に見ていく。 succ trueとかの怪しげなものを定義可能。これについては後で言及がある。 ここで重要なのは「{true, false, 0} ∈ T」での「T」は「構文的に有効な項をすべて含む集合」。 「明らか」という単語は使ってはいけない。 3-4 プログラムを「どう評価するか」 -> 意味論 操作的意味論(TaPLではこれ
6/11を最終出社日として、新卒で入社した会社を6/30で退職する運びとなりました。で、7/1から愛知の某社に転がり込む感じです。 本エントリをもって関係各位への連絡と変えさせていただきます。 え、画像? なんか伝統らしいですね? (マズければ取り下げます。ご連絡ください) はじめに 人名、社名はこのエントリに登場しません。どこを辞めて、どこへ行ったかとかは期待しないでください。また、誰のことを指しているかについても直接は書きません。察してください。 前職の皆様へ まず前職の皆様には諸々御礼申し上げます。社会人としてのマナーや、ろくに技術力のない私をここまで育ててくださいまして誠にありがとうございました。諸々思うところはありますが、しかし今は感謝の気持ちしかありません。 特に一番最初の上司であるところのお二人には散々ご迷惑をお掛けしたかと思います。振り返ってみれば反省することが非常に多く、
人生初のハッカソン企画/主催してしまいました。 細かい流れなどはpocketberserkerさんのtogetterがあるので、そちらを御覧ください。 http://togetter.com/li/567360 #24hack is 何 24時間ぶっ通しでハッカソンやりましょう! という企画です。 難しいことありません。 24時間ぶっ通しでハック 特定の何かをやるのではなく個人がやりたいことをやる これだけ守れば自由な感じです。 公開直後に「あたまおかしい」というツイートが24時間以内に5回ほど流れたので、きっとこわい系ではなくあたまおかしい系イベントでしょう。 別名デスマーチハッカソン、もしくはデスマソン。 「何でこんなの思いついたんですか!」 始まりから終わりまで全て仕事が悪い。 ピー時まで労働しているとか寝ることしかできないじゃないですか。 帰ってからハックとかやってる暇もなく寝る
このページを最初にブックマークしてみませんか?
『zakky-dev.hateblo.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く