日経レバETF： -4,910 新たに仕入れたダブルインバース日経： -5,300 なんでやねん。
現在のところ、 One Tap BUY で買った日経インバETF: +114 SBI証券で買った日経レバETF: -8810 いい感じで血吹いてます。
先週、1/18〜19にあったウィンターワークショップ2018の参加報告記事を、会社ブログに書きましたんで、こちらでも備忘録がてら紹介。 参加報告に絡めて、今やってる機械学習工学とは何なのか、について語ってみました。 leapmind.io なお、当日の様子や議論…
今朝書いた、下記記事の続きです。 bonotake.hatenablog.com 一旦は「Facebookで議論すんのしんどいから」という理由でやり取りを打ち切ったはずでしたが、この記事に対してアジャイルコーチの守田さんが「SCRUM BOOT CAMP THE BOOKをお読みなら話が早い」と…
昨晩、このような記事を読みまして。 ascii.jp この中に、このような話が。 江草氏がたどり着いた答えは、「属人化を排除するのはよくない」だ。少人数のエンジニアが開発したものが大規模に普及している現実がある。 これについて、僕がFacebookの限定公開…
一昨日、このような記事を書きました。 bonotake.hatenablog.com そしたらまぁ、自分の想像を遥か超える勢いでバズりまして。1日も経たないうちにブクマが軽く100を超えてしまいました（これ書いてる時点で171）。 今まで、1記事につきブクマ1桁しかもらった…
はじめに 明けましておめでとうございます。今年もよろしくお願いします。 たまたま昨年末に、Facebookの謎な対応により始めてしまったはてなブログ、「次書くかどうかわからない」とは書きましたが、次も書いてみることにしました。 なぜそう思ったか、理由…
はじめに（おことわり） これは、僕がはてなブログに書く初の記事になります*1。 元々これは、Facebookに友達限定で書いた記事を、一般公開向けに少し改訂したものです。なぜこんなことをしているかというと、FBに書いた記事、FBからスパム認定食らって削除…
前回の続きです。正確には、前回の続きの後の檜山さんのブログ記事に対する更なる「合いの手」です。 Alloyで直和を考える - たけをの日記＠天竺から帰ってきたよ 個体と世界の関係：圏から論理半環を絞り出す - 檜山正幸のキマイラ飼育記 一連の記事を読ん…
前回の記事に檜山さんが反応してくださいまして。いやレスつけにくい記事ですいません。 クリーニ代数と圏論 - 檜山正幸のキマイラ飼育記 せっかくなので、檜山さんの記事をまんまAlloyに翻訳してみよう…と思ったのですが*1、実は大きな問題があって。Alloy…
久々すぎて、はてなの書き方を忘れてしまいました。さて（脈絡なし）： テスト付きクリーネ代数とその使い方 - 檜山正幸のキマイラ飼育記 テスト付きクリーネ代数の圏論的な定式化 - 檜山正幸のキマイラ飼育記 上記の記事を今更読んだのですが*1、そういや私…
昨日の日記 の続き。 id:koji8y さんから、トラックバックで じゃあ，昨日のスタート Alloy の演習中に僕らが表現したかったこと， sig A { r: B -> C }で，各 A の各 r が one to one の関係 (functional かつ injective な関係) となること*1を表現するに…
さて、スタートAlloy中、頂いたテクニカルな質問のうち1つに、当日うまく答えられませんでした（すいません… orz）。ちゃんと考え直したので(^^; ここに書いておきます。（thx to @masahiro_sakaiさん） 質問 以下のようなシグネチャ宣言があったとする。 si…
cf. http://atnd.org/events/27160ヒジョーに適当な準備だけで（テキトーな資料でホントすいません）、しかも「習うより慣れろ」と吹いてAlloy言語のレクチャーほとんどなしに演習やってもらうという無謀な試みにも関わらず、（Alloy初心者の方々も含め）全…
「イラストロジックはAlloyに向かない」 って書いておくと id:bonotake さんが解決してくれないかな(チラッ) ちょｗｗｗ いやいや、そういうムチャぶりはやめてください（^^; というか実際のところ、自信ありません(^^;;;イラストロジックがAlloyに向くか向…
今日、twitterで @mr_konn さんがこのような発言をなされました。……ほほぅ…………というのはウソですが、これくらいの論理パズルが向かないってことはないだろー。 と思い、解いてみました。ちなみに、カロタンパズルはこんなの（こちらから引用）。 カロタンは…
『レイトン教授 奇跡の仮面』では毎日パズルを配信してくれるんだけど、レイトン教授と奇跡の仮面(特典なし) - 3DS出版社/メーカー: レベルファイブ発売日: 2011/02/26メディア: Video Game購入: 6人 クリック: 49回この商品を含むブログ (33件) を見るその…
もうすっかり放置してしまっているはてなですが、さすがにこの記事を書かないまま放置するのはまずい。ので一言だけ書いておきます。"Software Abstractions"（通称Alloy本）の邦訳しました。現在、全国各書店で発売中です。抽象によるソフトウェア設計−Allo…
以前、"Software Abstractions"翻訳のレビュワーを募集しましたが（"Software Abstractions"翻訳本のレビュアーを募集します - たけをの日記＠天竺から帰ってきたよ）、予想よりたくさんのご応募いただきました。元々は片手で数える程度の方にお願いするつも…
Alloy本翻訳のレビュワー募集記事で、過去に自分が「かけっこのパズル」をAlloyで解いた記事を参照したのですが… 参考） 駆けっこのパズルをAlloyで解く （Alloyチュートリアル風） - たけをの日記＠天竺から帰ってきたよ 長男に教わったパズル - 檜山正幸の…
注：既に募集は終了しました。参考：こちら twitterではぼそぼそとつぶやいていましたが、現在下記の本の翻訳を進めています。Software Abstractions: Logic, Language, and Analysis作者: Daniel Jackson出版社/メーカー: The MIT Press発売日: 2006/03/24…
うみねこのなく頃にep8感想、続き。あの後ぼんやりと考えていたことを記す。
前回のエントリーがep7感想ってどうなんよ俺。半年全然書かんかったと言うことか。ひどいな。 ええと、今年もよろしくお願いします。 とりあえず、「うみねこのなく頃に」ep8やったよ、という一言だけ書きたかったのです。 以下、さらっと思いつくままに。深…
はい、読了しましたよ。 ネタバラシ編だけに、ネタバレなしで書くのは難しいので、以降はネタバレ上等で書きます。ただし念のため、人名だけは色を変えて。
圏論がわかった気になる（でも本当の理解はできない）話を、FormalMethods勉強会なるところでしてきました。 スライド作成も発表もすべてiPad使用。KeyNote for iPadのノウハウがいろいろわかって良い体験でした。ってそっちがポイントかい！ということで当…
ここを参考にしました。 http://www.coldsleep.jp/2010/05/28/ipad_calendar/ ただし、「STEP.2 複数カレンダーの同期」で STEP.2ではGoogle Syncのモバイル端末用ページで設定を行うので別途モバイル端末が必要になります と書いてますけど、iPadからアクセ…
2ヶ月ぶりの日記更新。twitterあると日記書かなくなりますね。噂どおり。 久々にアクセスしてみたら日記を書くフォームのデザインが一新されててびびりました。さて。お題の通り、我が家には現在仕事部屋とリビングにMacが鎮座しておりまして、その2台の間で…
今日のつぶやき。 最近の若い人はメールに慣れすぎだなぁ。必要なときは対面や電話でのコミュニケーションをもっと活用しないと。とオッサン的つぶやき。 posted at 18:04:33 緊急の仕事をお願いするとか、すぐに返事が必要なのにメール１通投げるだけ、じゃ…
jQuery is a Monad | Important Shock (via jQueryはモナドだ - id:anatooのブログ) を読んでのつぶやき。適当にskimしてます。 あれ、モナド則ってこんなんだったっけ？？ posted at 12:12:46 って、Haskellのモナド則と違うものを説明してるのか。孔明の罠…
一旦活動を終了し、ただの飲み会へと変貌を遂げた圏論勉強会ですが。飲みの席で話してたら、やっぱり普通の勉強会することになりました。新しいテキストと共に、結構ガチで。 ということで、折角なのでこの際、参加者を広く募集したいと思います。以下概要。…
