電子発行された生命保険料控除証明書を読む

皆さんは確定申告は済みましたか? 私はまだです。2月中旬にやろうとしたけど、年末の携帯電話料金の引き落としの決済が完了していなかったんですよね……それで今日着手したんですけど、生命保険料控除証明書が必要になりました。10月ごろに郵送されて届いて…

mandel59.hateblo.jp 異体字セレクタを使うと「禰󠄀」の字を出せるよって話を前に書いたけど、アニメ公式の人物情報では「煉󠄁獄杏寿郎」の「煉󠄁」の字、「鬼舞辻󠄀無惨」の「辻󠄀」の字では異体字セレクタを使っていることがわかった。なんで禰󠄀の字だけフォン…

MIDIデータを可視化するやつを作った

音楽でどういう音が鳴っているのかを知りたいと思ったので、MIDIデータを可視化するやつ、Midivisを作りました。 https://midivis.ryusei.dev/ Web MIDI APIが動くブラウザー(Google ChromeかMicrosoft Edge)で使うことができます。Mozilla FirefoxはWeb M…

「不愉快の峠」仮説

マイノリティとマジョリティの間には、不愉快の峠があるのではないかと思う。 マイノリティ文化がマジョリティ文化に認知される過程を考えると、情報の少ない接触初期段階では、どうしても表現が歪み、不正確になってしまう。理解の深い人間の目には、この不…

漢字処理に使うデータベース・関連サイトまとめ

Unicode Character Database www.unicode.org Ideographic Variation Database unicode.org Adobe-Japan1 github.com MJ文字情報一覧表 mojikiban.ipa.go.jp 漢字データベース kanji-database.sourceforge.net GlyphWiki glyphwiki.org 萌典 www.moedict.tw

キーボード・ノートの対応

コンピューターのキーボードで音符を入力するとき、よくある方式だと キー ノート Z C3 S C♯3 X D3 D D♯3 C E3 V F3 G F♯3 B G3 H G♯3 N A3 J A♯3 M B3 K B♯3 , C4 のように対応させていて、要はピアノの鍵盤と対応させているけど、ふつうに横は半音階で並べ…

竈門禰豆子の禰の字について

アニメ公式での竈門禰豆子の表記。禰を表示するのに中国語繁体字の字形を使っている。 どうやら、竈門禰豆子の禰の字について、しめすへんは正式には「ネ」の形という指定が存在しているようで、公式サイトでもわざわざフォントを変えて1、禰のしめすへんを…

メッセージとコンテキスト

note.com 安倍総理は、星野源さんのコンテンツの趣旨に敬意を払わずに、コンテクストと星野源さんが与えたルールを無視しました。 安倍総理の動画はただくつろいでいるだけで、歌っても踊ってもいない。コンテンツの趣旨、コンテキストを無視しているように…

ウイルス感染シミュレーターを作ったので、オーバーシュートを完全に理解した

新型コロナウイルスの問題で、専門家が使う「オーバーシュート」という言葉の意味が問題になっていた。 togetter.com 疫学でのオーバーシュートという言葉がどういう風に使われるのだろうと思ってさっと検索したが、https://t.co/LZMpKsJuCL の絵がでてきた…

オープンソース概念の無意識な風化への抵抗

このツイートが目に触れた。これは問題だ。 lain、商用含む二次創作フリーになったから記念配信で急に岩倉玲音が凸してきてもいいのか— 月ノ美兎 (@MitoTsukino) 2020年3月17日 リプライにぶら下がっているリンクから、<利用ガイドライン>に飛ぶことができ…

コインハイブ事件への意見書

www.hacker.or.jp 今日、コインハイブ事件への意見書を送付した。(郵送はまだ) 草稿をここで公開しておく。 コインハイブ事件への意見書草稿

概念をフォローする

概念をフォローする 本質的に、わたしたちは概念をフォローしたいのである。 あなたがツイッターで、その人をフォローする理由はなんだろうか。その人自身が本当に好きなのだろうか。単に、好みの記事や、写真や、動画をRTしてくれるから、ではないだろうか…

TopShell: シェル再考

GitHubのExplore repositoriesにたまたま表示されていた TopShell が気になったので、ここで紹介する。 github.com TopShell開発の動機は TopShell: Reimagined Terminal and Shell · topshell-language/topshell Wiki · GitHub に書いてあるが、要点をまと…

『新記号論』メモ 記号の正逆ピラミッドとOSI参照モデル

記号の正逆ピラミッドのうち、少なくとも逆ピラミッドは、OSI参照モデルのレイヤー構成と対応すると考えられる。逆ピラミッドは基底部から頂点へ向けて順にアナログ信号/デジタル信号/プログラムとなっているが、これがOSI参照モデルの第1層 物理層が逆ピラ…

位置の外延的表現・内包的表現の区別と考察ノート

オブジェクトの位置の表現方法には、大きく分けて2種類ある。ここではそれを、外延的表現と内包的表現と呼びわけ、ボードゲームの駒の位置の表現を具体例にして、どのような違いがあるかを考えてみる。 今、将棋盤上においてある、王将の位置を表したい。ど…

昔作ったリポジトリがフォークされていた話

昔、SQLiteをWebAssembly向けにビルドする例をGitHubに置いていたんだけど、 github.com 先月ごろフォークされて Uno.sqlite-wasm というリポジトリができていた。 github.com Unoは、UWPアプリをiOSやAndroid, WebAssembly上で動かすプラットフォームらしい…

Phantom property pattern

TypeScriptは、JavaScriptエンジンの動的セマンティクス上に、静的な型システムのセマンティクスが重なっているものです。ここで、JavaScriptとしては正しく実行できても、TypeScriptの型システム上ではちゃんと型が付かないという場合もあります。ときには…

高校の教科書に載っている「情報」の説明が変だという話

数研出版の教科書『高等学校 社会と情報』(平成24年2月27日検定済、平成27年1月10日発行)の序編第II章では、「情報の特徴」と題して、情報とは何かとその特徴についての説明が行われているのだが、そこで行われている「情報の有無」の説明にいまいち納得が…

「What Is Functional Programming? に対する反論」を読んで考えたこと

lyrical-logical.hatenablog.com読んでいて引っかかった部分について考えました。 mutable変数は「入力とは呼べない」? この記事で僕が伝えたいのは、君が書くあらゆる関数には二組の入力と二組の出力があるってことだ。 間違いなく、InboxQueue の状態はこ…

游ゴシックは何故Windowsでかすれて見えるのか

この記事は2016年当時の状況を書いています。その後のバージョンアップで、Windowsでのフォントレンダリングは改善され、ガンマ補正周りのエラーはなくなっているようです。当時の状況を資料として残しておきますが、記事を参照する場合はご注意ください。 T…

プログラムを哲学する 2. 「概念記法」

以前、言語の完全性について言及した。今回は引き続き、言語の完全性について考える。mandel59.hateblo.jp フレーゲの「概念記法」 フレーゲは未定義の式の存在を「言語の不完全性」(einer Unvollkommenheit der Sprache)とみなしていた。論理学者のフレー…

Windows 10 導入作業

Windows 10を導入する上でやったこと ディスプレイの色調整 液晶の白が青かぶりしている感じだったので、ディスプレイの詳細設定から色設定を行う。 開発者向け機能 更新とセキュリティから、開発者向け機能に関する設定を行う PackageManagement ソフトウェ…

Suica専用自販機に見る形骸化した記号の話

Suica専用自販機。どんどん進めていけばいいし、通常の自販機を流用するのも全然いい。たださ、なんでコイン投入口跡に小銭のイラストを残したの?飲み物買おうとした外国人、英語の説明ないから、お金入れようと四苦八苦してたぞ。 pic.twitter.com/qIja6ba…

東京メトロの行先案内の多言語化で全言語にルビが付いていて賢いという話(だけど限界もある)

東京メトロの多言語化戦略、全部の言語にふりがなが付いていて賢い— Ryusei Yamaguchi (@mandel59) 2016年7月15日 全部の言語にふりがながあるから、ハングル表示の時に日本人が読めないというクレームを無効化している、神対応か— Ryusei Yamaguchi (@mande…

花押の件について判決文を読んでみたけどよく分からなかった話

www.jiji.com今回の裁判の要旨は「いわゆる花押を書くことは,民法968条1項の押印の要件を満たさない」ということですが、その理由を抜き出してみます。 3 原審は,次のとおり判断して,本件遺言書による遺言を有効とし,同遺言により被上告人は本件土…

シンタックス・ハイライト機能はHaxeに対応してほしいです。

お題「シンタックス・ハイライト機能で対応してほしい言語」Haxeに対応してほしいです。 class Test { static function main() { trace("Haxe is great!"); } }HaxeはActionScript風のシンタックスを持ちながらも、JavaScriptやC#, PHPなど多数のターゲット…

文脈付き構成的意味論を構成的意味論に変換する

mandel59.hateblo.jpここでは, 自然数の集合 に0を含めることとする。記法 は を表す。 の時は を表す。 記法 は を表す。 の時は (真理値の真)を表す。 形式言語 形式言語 は関手集合 , 関手の項数 からなる組である。 式 形式言語 の式集合 を, つぎの帰…

プログラム意味論の分かりやすい紹介

巷に膾炙しているプログラム意味論の説明は、正直言って何を言っているのか、部外者にはよく分からないように感じられる。プログラムの意味を論じる「プログラム意味論」の意味がよくわからないというのは本末転倒だろう。ここでは、プログラム意味論を分か…

プログラミングと哲学

プログラミングと哲学の間には深い関係がある。プログラミングが昔ながらの哲学と単純に対応するというわけではないけれども、だからといって全くの無関係というわけでもない。その理由として、プログラミングの方法論のひとつに、世界を分析し、それを記述…

Referential Transparencyの代わりに使える概念案

Referential Transparencyという概念が指すものは漠然としているので、もっと意味が明瞭で使いやすい用語を定義し、色々な言語の性質を記述してみる。前提として 式は原子式か複合式である。 複合式は関手(functor)と項(argument)から構成される。 〈純…