某●芝の監査法人
今日、銀座の居酒屋で飲んでたんだけど 某東○の監査法人がヒドすぎて笑えなかった 東芝の件を何も考えてない脳天気さはとりあえず置いておいて 監査法人主催のイベントで、自分が呼んでピッチ（出展）してもらったベンチャーについて、 ・何で起業したの？ ・バカすぎて普通の企業で雇ってもらえなかったから起業するしかなかったの？ ・どうせ俺らが監査するステージに来ないのに って、個室でもなく、半個室でもなく、フロアに響くような大声で酔っ払って話してた。 一番ひどかったのは、これまでピッチしたスタートアップの中で 最も潰れそうなところ選手権ってのをやってたこと お前らだよって話 本当に自分のことしか考えてない、周り見れてない 法律から守られてて、どーにかなってるが、社会からの信頼ないし 普通の企業なら潰していいレベルで、上から下まで腐ってることがわかった 潰れればいいのに…
Isabelleについて： 証明支援系は何を目指し、どこへ向かうのか - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日の記事「Isabelle/jEditの野心的な試み「継続的チェッキング」に「ウォ」っとなった」では、Isabelleのユーザーインターフェースが備えている特徴的な機能である「継続的チェッキング」だけを取り上げました。ここで改めて、証明支援系としてのIsabelleシステムを紹介しましょう。客観的な紹介ではなくて、僕の雑駁な印象記です。 内容： Isabelleの独自な世界 Isabelleの未来 Isabelleの独自な世界 「Isabelle/jEditの野心的な試み「継続的チェッキング」に「ウォ」っとなった」より： PIDE構想は、Isabelleプロジェクト／コミュニティを世の趨勢とは離れた孤立化へと導くのか、それとも、時代がPIDEの先進性にいずれ追いつき、PIDEがスタンダードな証明支援系UIとなるのか？ なかなかに興味深いですな。 Isabelleが世の趨勢と離れるのか？
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
東芝、水色&黄色フィルタと画像解析で距離を検出する新技術。ドローンや自動運転に