なのログ

だから見てて下さい・・・俺の・・・変身

Elmやるやる詐欺を返上しはじめました

ほとんどインストールしただけなんですけどね。 今回は数行書くだけ(のつもり)です。「これやった」で終わり。

DroidKaigi公式アプリにコントリビュートしました

初めての行為がいくつあったのかわかりません。本当に良い経験をしました。

2019年とAndroidと東京暮らしと

年末です。2019まとめ。たぶんこれは実質退職エントリになります。

最近のAndroidについて学んだよの話

Android jetpack とか Android Architecture Components とかのフレーズの話です。 ここ最近は完全にAndroidに躍起です。俺はやるぞ。

QRコードをたくさん発行したくて久しくNuxt.jsを触りました

半年ぶりにNuxtさんを触りました。「ちょっとブラウザで動かす小道具がほしい」のためだったんですが、相変わらず手軽だなという話。 webフロントの基礎なんもわからんマンなので、「いやそれだけだったらhtmlファイル1枚でいけるやろ・・・?」とか言われる…

軽減税率と個人開発とKotlinと(2019-3/4期)

四半期振り返りシリーズです。2019年3号。軽減税率対応戦士になりました。

「AWSなのに、エモい。」を読んで書評を寄稿しました

もう一週間前の話じゃないか!旬を逃すなよ! もはやシリーズと化した、「エモい。」同人の季節です。(春と秋に来る)(季節どころじゃない)

Kotlin Fest 2019 に行ってきました

行ってきました。カンファレンス。Kotlin Fest 2019。 簡単に言うと、ド楽しかったです。その上で知ることも多かった。素敵ですね。

型システム入門を読んでいます(第11回)

第11回。前回から21日です。3週間。 「週刊型システム入門」くらいになると嬉しいんですけどね。難しいですね。 6章「項の名無し表現」、後半です。

memo : Kotlin Coroutines (basics)

Kotlinのコルーチンのはなし。 基本のチュートリアルをやりました。わからんことのメモとかそういうの。

型システム入門を読んでいます(第10回)

祝・第10回。(セルフ祝辞) メイドインアビスの更新が先か本シリーズの更新が先かという様相を呈していましたが、 なんとかこちらに軍配が上がるようです。やっていきましょう。

サービスリリースとソフトウェアリプレースと(2019-2/4期)

振り返り記事をまたやりにきました。前回が3月末だったな~と思うたびに、 「あ~じゃあ四半期ごとにメモるか」って思ってたんですよね。というわけで現在6月末。どうぞ。

Robolectric v4.3 導入の後ろの話

よくある話題:「外部に書こうかな~~自分のブログに書こうかな~~」 弊ブログでの回答:「両方で」 というわけで、この記事⇩と同じ話題の蛇足バージョンです。 最新のRobolectric (v4.3)の導入で迷える子羊を俺が救う[ Android / testing ] - Qiita

Vue.js(Nuxt)とKotlinとScratchと

近況みたいなのを書こうかなと思った回です。 主に2月半ばからの仕事の話。

型システム入門を読んでいます(第9回)

第5章型無しラムダ計算、3節形式的議論。 この節苦手なんですよね。形式的議論シリーズ。 この節、いつも「お前何言ってんだ」感が強い。(暴言)

型システム入門を読んでいます(第8回)

またお久しぶりになってしまいました。型システム入門です。 今確認したら1ヶ月以上空いてますね。うわあ。これは罪では。 今回でやっと5章2節「ラムダ計算でのプログラミング」を抜けます。

2018年でも振り返っておきましょう

なんか普通の話題っぽいぞ・・・! 「こういうの書いておくのがブログたるものだよな」みたいな、 人並みの気持ちが湧いてしまったので。書きます。

型システム入門を読んでいます(第7回)

~~ぜんかいのなのやつさん~~ 尻切れトンボなかんじなので、また早いうちに続きをしにきます。(希望) ~~3週間経過~~

型システム入門を読んでいます(第6回)

第6回です。5章のつづき。 前回「カットするかしら」とか話した部分になりました。型無しラムダでのいろんな表現。

MacBookを使うようになりました

タイトルこれでいいんか。 引っ越すとか転職するとか言っていた話です。

型システム入門を読んでいます(第5回)

当ブログのメインコンテンツこと(?)、型システム入門読書回です。 5章 ラムダ計算に入りました。 テンションが上がり気味な内容になっています。 ではどうぞ。

「デザインパターンなのに、エモい。」を読みました

突発読書回です。 carotene4035.booth.pm これ↑の話をします。

型システム入門を読んでいます(第4回)

ちょいネタです。 前回の最後に「こんなんできたらいいなあ」という話をしていたのを置きに来ました。

型システム入門を読んでいます(第3回)

読んでいます。 第4章 算術式のML実装 やっていきます。 前回→第2回 今回 ↓

型システム入門を読んでいます(第2回)

お久しぶりです(?)。読んでいます。 他の本が挟み込まれたり例のC#の事があったりと色々読めていなかったんですが、 これもおろそかにはできんなということで、記事を起こしに来ました。 第3章 型無し算術式 5節 評価 です。

ぐだぐだクソコード vol.1-2 残念ながら中断です

「残念ながら・・・お子さんは・・・」 非ッ常に情けねえことになってしまいましたが、 例のテトリスのお話、一旦畳もう・・・というおはなしです。 時間ばかりが過ぎていってしまう。足りないものが多すぎる。 やろうとしたことは色々あるわけですけど、 そ…

型システム入門を読んでいます(第1回)

第1回です。 はじめ第2回と書いてしまい消しました。やっぱ0オリジンってクソだわ。 それでですね、わりかし元気に読んでおります。 今3章です。と言うと進みが良いように感じられるかもしれないんですが、 1章「はじめに」:型システムとは何か、型研…

ぐだぐだクソコード vol.1 はじめてのテトリス by F#

こんにちはこんばんは。 皆様お待たせ致しました。ぐだぐだクソコードの時間です。 (※元ネタです: http://www.hareruyamtg.com/article/category/detail/218 ) 諸般の事情によりテトリスを作ることとなり、 あろうことかF#で挑んできました、という回です…

型システム入門を読んでいます(第0回)

どうしてまたそんな・・・ ~よくわからない方向け~ これです↓ 型システム入門 −プログラミング言語と型の理論−作者: Benjamin C. Pierce,住井英二郎,遠藤侑介,酒井政裕,今井敬吾,黒木裕介,今井宜洋,才川隆文,今井健男出版社/メーカー: オーム社発売日: 201…

なんか書いとかな回

なんか色々していますというおはなし。 前回が8/3。 その時点でなんか書こうとしていたもの: Unityで地図のパズルとか作っていたので、そのときに学んだことでもメモっておこうかな それ以降から今に至るまで書けるなとおもったもの: Unityで知育ミニゲー…