VimConf 2023 Tiny に参加してきました（発表はしていません）。技術的な話ではありませんが参加して思ったことを書き残しておきます。 vimconf.org 企業の金でブランディングしてもらった まずはこれをご覧ください。 DeNA は 11/18 開催の VimConf 2023 Ti…

2023/08/8から08/12にかけて一家全員（イヌ除く）が40度近い発熱をしました。08/13現在、私は味覚を甘味以外（苦味・酸味・旨味・塩味）感じません。嗅覚はほぼ感じません。この状況で飲食をした際に感じたことの記録を残しておきます。 記録 味覚障害 1日目…

家のネットワーク環境をあれこれ検討していたところ、中古ネットワーク機器のコストパフォーマンスいいよと聞いて中古ネットワーク機器で揃えてみることにしました。設定などを紹介します。

こんにちは。この記事は下記記事の振り返りです。 blog.kuniwak.com 引き渡しの際に撮影した写真と、平面図から起こした3Dモデルをレンダリングして得たシミュレーション画像を比較することで3Dモデルの精度を確認しました。3Dモデルには当時私が平面図をど…

皆さんは睡眠できていますか？この発表では睡眠が下手だった私が睡眠を上達するためにした技術的な工夫を紹介します。

ソフトウェアエンジニアでテストマンを生業とする Kuniwakです。今回は家を買うためにやったこととして、家を買うきっかけになったライフプランシミュレーションと、3Dモデルも使った間取りの各種のシミュレーションについて紹介します。

最近は本業の自動テストマンより定理証明支援系に力を入れている Kuniwak です（経緯は過去記事参照）。 orgachem.hatenablog.com 定理証明支援系はいいぞ、ということで本記事では 私がよく使う Isabelle の便利機能の紹介とごく個人的に感じている使い所な…

長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため…

今年も Advent Calendar で記事を1つこさえました。 qiita.com 今年を振り返ると、なんか変なことを色々やってたなぁ、という気持ちです。

社で必要になったので、Go 言語の OSS を書きました。 github.com この OSS がなんなのかは スライド を見ていただくとして、テストをめっちゃ書いたのでだんだんどうテストを書いたらやりやすいのかがわかってきました。この成果自体はいつか vanilla-manif…

ブログタイトルを変えました。前のタイトルは「若き何かの悩み」で、さらにその前のタイトルは「若き JavaScripter の悩み」でした。 背景 若い頃は、JavaScript をやっていました（若き JavaScripter の悩み期）。 これだとマッチする企業が少なすぎて、手…

学生時代最後の春休み（2014年）につくって reject されていた LINE スタンプが、なんと4年後の今日登録されました（再申請は今年2月に依頼しています）。 store.line.me なお、これらの画像群はもともとは LINE のスタンプ 向けに作成したものです。ただ、…

近年、オフィスや休憩スペースなどで落ち着けない問題があります。落ち着き環境は生産性に大きなインパクトがありますね。 さて、いろいろグッズを集めたところ落ち着き環境の構築に成功したので共有します。 特におすすめなのは以下の2つです： AVANTEK 防…

ここのところ極めて体調が悪い日々でしたが、try! Swift でなんとか発表できました。 speakerdeck.com

speakerdeck.com ちゃんとした記事は以下に書くかもしれませんが未定です。 swet.dena.com