bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

ビットコインの価格が既に採掘の損益分岐点を下回り始めた件

友人と某所で話してて、ビットコインの価格が「採掘の損益分岐点を下回ったらしい」という話になり。 それは興味深い、と思って軽く調べてみると、こんな記事が↓ www.bloomberg.co.jp この記事は先月のなので「半額になっても…」と書いてるんだけど、実はも…

非エンジニアな初心者にもわかる(かもしれない)コンピュータの基礎を紹介する本

僕は普段、ディープニューラルネットワークをハードウェア(主にFPGA)上にコンパイルするお仕事をしてるわけですが。 昨日、同僚の女性(非エンジニア)のHさんから、 bonotakeさんがしてる仕事を理解したいので、入口的な、比較的簡単そうな、オススメの書…

日経平均少し戻したか

日経レバ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の謎な対応により始めてしまったはてなブログ、「次書くかどうかわからない」とは書きましたが、次も書いてみることにしました。 なぜそう思ったか、理由…

2017年を振り返って

はじめに(おことわり) これは、僕がはてなブログに書く初の記事になります*1。 元々これは、Facebookに友達限定で書いた記事を、一般公開向けに少し改訂したものです。なぜこんなことをしているかというと、FBに書いた記事、FBからスパム認定食らって削除…

Alloyで直積を考える

前回の続きです。正確には、前回の続きの後の檜山さんのブログ記事に対する更なる「合いの手」です。 Alloyで直和を考える - たけをの日記@天竺から帰ってきたよ 個体と世界の関係:圏から論理半環を絞り出す - 檜山正幸のキマイラ飼育記 一連の記事を読ん…

Alloyで直和を考える

前回の記事に檜山さんが反応してくださいまして。いやレスつけにくい記事ですいません。 クリーニ代数と圏論 - 檜山正幸のキマイラ飼育記 せっかくなので、檜山さんの記事をまんまAlloyに翻訳してみよう…と思ったのですが*1、実は大きな問題があって。Alloy…

ドメイン付きクリーネ代数を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…

スタートAlloyやりました

cf. http://atnd.org/events/27160ヒジョーに適当な準備だけで(テキトーな資料でホントすいません)、しかも「習うより慣れろ」と吹いてAlloy言語のレクチャーほとんどなしに演習やってもらうという無謀な試みにも関わらず、(Alloy初心者の方々も含め)全…

イラストロジックをAlloyで解く

「イラストロジックはAlloyに向かない」 って書いておくと id:bonotake さんが解決してくれないかな(チラッ) ちょwww いやいや、そういうムチャぶりはやめてください(^^; というか実際のところ、自信ありません(^^;;;イラストロジックがAlloyに向くか向…

カロタンパズルをAlloyで解く

今日、twitterで @mr_konn さんがこのような発言をなされました。……ほほぅ…………というのはウソですが、これくらいの論理パズルが向かないってことはないだろー。 と思い、解いてみました。ちなみに、カロタンパズルはこんなの(こちらから引用)。 カロタンは…

レイトン教授ナゾ配信『ウサギ』ソルバをAlloyで書いた

『レイトン教授 奇跡の仮面』では毎日パズルを配信してくれるんだけど、レイトン教授と奇跡の仮面(特典なし) - 3DS出版社/メーカー: レベルファイブ発売日: 2011/02/26メディア: Video Game購入: 6人 クリック: 49回この商品を含むブログ (33件) を見るその…

『抽象によるソフトウェア設計』(Alloy本)発売しています

もうすっかり放置してしまっているはてなですが、さすがにこの記事を書かないまま放置するのはまずい。ので一言だけ書いておきます。"Software Abstractions"(通称Alloy本)の邦訳しました。現在、全国各書店で発売中です。抽象によるソフトウェア設計−Allo…

Alloy本翻訳レビュー始まります&Alloy 4.2 RCリリース

以前、"Software Abstractions"翻訳のレビュワーを募集しましたが("Software Abstractions"翻訳本のレビュアーを募集します - たけをの日記@天竺から帰ってきたよ)、予想よりたくさんのご応募いただきました。元々は片手で数える程度の方にお願いするつも…

かけっこのパズル revisited

Alloy本翻訳のレビュワー募集記事で、過去に自分が「かけっこのパズル」をAlloyで解いた記事を参照したのですが… 参考) 駆けっこのパズルをAlloyで解く (Alloyチュートリアル風) - たけをの日記@天竺から帰ってきたよ 長男に教わったパズル - 檜山正幸の…

"Software Abstractions"翻訳本のレビュアーを募集します

注:既に募集は終了しました。参考:こちら twitterではぼそぼそとつぶやいていましたが、現在下記の本の翻訳を進めています。Software Abstractions: Logic, Language, and Analysis作者: Daniel Jackson出版社/メーカー: The MIT Press発売日: 2006/03/24…

うみねこの話:なぜ「一なる真実」は明らかにされないのか

うみねこのなく頃にep8感想、続き。あの後ぼんやりと考えていたことを記す。

謹賀新年&うみねこのなく頃に ep8やりました

前回のエントリーがep7感想ってどうなんよ俺。半年全然書かんかったと言うことか。ひどいな。 ええと、今年もよろしくお願いします。 とりあえず、「うみねこのなく頃に」ep8やったよ、という一言だけ書きたかったのです。 以下、さらっと思いつくままに。深…

うみねこのなく頃に ep7

はい、読了しましたよ。 ネタバラシ編だけに、ネタバレなしで書くのは難しいので、以降はネタバレ上等で書きます。ただし念のため、人名だけは色を変えて。

圏論の話をiPadでしてきたよ@FormalMethods勉強会

圏論がわかった気になる(でも本当の理解はできない)話を、FormalMethods勉強会なるところでしてきました。 スライド作成も発表もすべてiPad使用。KeyNote for iPadのノウハウがいろいろわかって良い体験でした。ってそっちがポイントかい!ということで当…

iPadでGoogleカレンダーと同期

ここを参考にしました。 http://www.coldsleep.jp/2010/05/28/ipad_calendar/ ただし、「STEP.2 複数カレンダーの同期」で STEP.2ではGoogle Syncのモバイル端末用ページで設定を行うので別途モバイル端末が必要になります と書いてますけど、iPadからアクセ…

複数台のMacでiTunesライブラリを共有

2ヶ月ぶりの日記更新。twitterあると日記書かなくなりますね。噂どおり。 久々にアクセスしてみたら日記を書くフォームのデザインが一新されててびびりました。さて。お題の通り、我が家には現在仕事部屋とリビングにMacが鎮座しておりまして、その2台の間で…

もっと同期通信しようぜ

今日のつぶやき。 最近の若い人はメールに慣れすぎだなぁ。必要なときは対面や電話でのコミュニケーションをもっと活用しないと。とオッサン的つぶやき。 posted at 18:04:33 緊急の仕事をお願いするとか、すぐに返事が必要なのにメール1通投げるだけ、じゃ…

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。