人生を仕組み化していったら結婚できた件 - Amosapientiam

2023/04/19 836 users アドパ 経緯 我々 人生 概要

この記事は妻にレビューしてもらっています。 概要 この春結婚しました。 我々二人の生活は、多くの仕組み化・組織化を実行しているという点でかなり変である、ユニークだと思います。この記事では我々が導入している仕組み化を紹介していきたいと思います。 経緯 妻とは一年ほど前から人生をよりよく生きるためのアドバ... 続きを読む

英語の発音について概説する - Amosapientiam

2020/12/27 928 users しゅわー 概説 母音 しゅわ 発音

TL; DR 前置き この記事の目的 想定読者 筆者の英語力について 発音 全体的な話 アクセントに関係する現象 アクセントとリズム 日本語のアクセントとリズム 英語のアクセント アクセント周りの発音記号 英語のリズム (アクセントの等時性) アクセントのない母音の中和 シュワー ハイシュワー r音性母音 /i/ /jʊ/ シュワ... 続きを読む

F*(F Star)の複雑な型システムの何が嬉しいのか？ - Amosapientiam

2018/07/07 170 users マイクロソフト 世間 言語 現状 少し

マイクロソフトが開発中のF* という依存型プログラミング言語を少し触ってみました。 この言語には強力で複雑な型システムが組み込まれています。 現状、依存型言語は世間にはあまり広まっていませんので F*とは？ 複雑な型ってなんだろう？ 複雑な型システムを組み込んで何が嬉しいんだろう？ 何が嬉しくないんだろう？... 続きを読む