ほとんどインストールしただけなんですけどね。 今回は数行書くだけ(のつもり)です。「これやった」で終わり。
初めての行為がいくつあったのかわかりません。本当に良い経験をしました。
年末です。2019まとめ。たぶんこれは実質退職エントリになります。
Android jetpack とか Android Architecture Components とかのフレーズの話です。 ここ最近は完全にAndroidに躍起です。俺はやるぞ。
半年ぶりにNuxtさんを触りました。「ちょっとブラウザで動かす小道具がほしい」のためだったんですが、相変わらず手軽だなという話。 webフロントの基礎なんもわからんマンなので、「いやそれだけだったらhtmlファイル1枚でいけるやろ・・・?」とか言われる…
四半期振り返りシリーズです。2019年3号。軽減税率対応戦士になりました。
もう一週間前の話じゃないか!旬を逃すなよ! もはやシリーズと化した、「エモい。」同人の季節です。(春と秋に来る)(季節どころじゃない)
行ってきました。カンファレンス。Kotlin Fest 2019。 簡単に言うと、ド楽しかったです。その上で知ることも多かった。素敵ですね。
第11回。前回から21日です。3週間。 「週刊型システム入門」くらいになると嬉しいんですけどね。難しいですね。 6章「項の名無し表現」、後半です。
Kotlinのコルーチンのはなし。 基本のチュートリアルをやりました。わからんことのメモとかそういうの。
祝・第10回。(セルフ祝辞) メイドインアビスの更新が先か本シリーズの更新が先かという様相を呈していましたが、 なんとかこちらに軍配が上がるようです。やっていきましょう。
振り返り記事をまたやりにきました。前回が3月末だったな~と思うたびに、 「あ~じゃあ四半期ごとにメモるか」って思ってたんですよね。というわけで現在6月末。どうぞ。
よくある話題:「外部に書こうかな~~自分のブログに書こうかな~~」 弊ブログでの回答:「両方で」 というわけで、この記事⇩と同じ話題の蛇足バージョンです。 最新のRobolectric (v4.3)の導入で迷える子羊を俺が救う[ Android / testing ] - Qiita
近況みたいなのを書こうかなと思った回です。 主に2月半ばからの仕事の話。
第5章型無しラムダ計算、3節形式的議論。 この節苦手なんですよね。形式的議論シリーズ。 この節、いつも「お前何言ってんだ」感が強い。(暴言)
またお久しぶりになってしまいました。型システム入門です。 今確認したら1ヶ月以上空いてますね。うわあ。これは罪では。 今回でやっと5章2節「ラムダ計算でのプログラミング」を抜けます。
なんか普通の話題っぽいぞ・・・! 「こういうの書いておくのがブログたるものだよな」みたいな、 人並みの気持ちが湧いてしまったので。書きます。
~~ぜんかいのなのやつさん~~ 尻切れトンボなかんじなので、また早いうちに続きをしにきます。(希望) ~~3週間経過~~
第6回です。5章のつづき。 前回「カットするかしら」とか話した部分になりました。型無しラムダでのいろんな表現。
タイトルこれでいいんか。 引っ越すとか転職するとか言っていた話です。
当ブログのメインコンテンツこと(?)、型システム入門読書回です。 5章 ラムダ計算に入りました。 テンションが上がり気味な内容になっています。 ではどうぞ。
突発読書回です。 carotene4035.booth.pm これ↑の話をします。
ちょいネタです。 前回の最後に「こんなんできたらいいなあ」という話をしていたのを置きに来ました。
読んでいます。 第4章 算術式のML実装 やっていきます。 前回→第2回 今回 ↓
お久しぶりです(?)。読んでいます。 他の本が挟み込まれたり例のC#の事があったりと色々読めていなかったんですが、 これもおろそかにはできんなということで、記事を起こしに来ました。 第3章 型無し算術式 5節 評価 です。
「残念ながら・・・お子さんは・・・」 非ッ常に情けねえことになってしまいましたが、 例のテトリスのお話、一旦畳もう・・・というおはなしです。 時間ばかりが過ぎていってしまう。足りないものが多すぎる。 やろうとしたことは色々あるわけですけど、 そ…
第1回です。 はじめ第2回と書いてしまい消しました。やっぱ0オリジンってクソだわ。 それでですね、わりかし元気に読んでおります。 今3章です。と言うと進みが良いように感じられるかもしれないんですが、 1章「はじめに」:型システムとは何か、型研…
こんにちはこんばんは。 皆様お待たせ致しました。ぐだぐだクソコードの時間です。 (※元ネタです: http://www.hareruyamtg.com/article/category/detail/218 ) 諸般の事情によりテトリスを作ることとなり、 あろうことかF#で挑んできました、という回です…
どうしてまたそんな・・・ ~よくわからない方向け~ これです↓ 型システム入門 −プログラミング言語と型の理論−作者: Benjamin C. Pierce,住井英二郎,遠藤侑介,酒井政裕,今井敬吾,黒木裕介,今井宜洋,才川隆文,今井健男出版社/メーカー: オーム社発売日: 201…
なんか色々していますというおはなし。 前回が8/3。 その時点でなんか書こうとしていたもの: Unityで地図のパズルとか作っていたので、そのときに学んだことでもメモっておこうかな それ以降から今に至るまで書けるなとおもったもの: Unityで知育ミニゲー…