いものやま。

雑多な知識の寄せ集め

MacBook Airでマウスを使いやすくしてみた。

MacBook Airのトラックパッドは最高なんだけど、ちょっと困ったことが。 それは何かというと・・・指が痛くなる。 もちろん、短い時間使うだけなら問題ないのだけど、長時間使っていると、少しずつダメージが蓄積されていって、ちょっと無視できない痛みに。…

「Lucid, the Dataflow Programming Language」を翻訳してみた。(その13)

ちょっと間が空いてしまったけど、前回の続き。 2.8 無限プログラミング Iswimファミリについてのこれまでの議論は、従来のオブジェクトが有限な代数に限定したものだった。 この形式のIswimは、ALGOLのような従来の命令型言語の再帰的サブセットに多かれ少…

『正義の教室』を読んでみた。

飲茶さんの新刊、『正義の教室』を読んでみたので、その感想とか。 正義の教室 善く生きるための哲学入門作者: 飲茶出版社/メーカー: ダイヤモンド社発売日: 2019/06/20メディア: 単行本(ソフトカバー)この商品を含むブログを見る 「正義」って何だろう? …

技術書典7 はじめてのサークル参加meetupに行ってきた。

はい、というわけで、技術書典7にサークル参加で申し込んだ。 当選したら、技術書生やす! 技術書典については、以下の公式ページや、自分が一般参加したときのレポートを参照: はじめてのサークル参加meetup 今回行ってきたのは、以下のイベント: 技術書…

「Lucid, the Dataflow Programming Language」を翻訳してみた。(その12)

前回の続き。 2.7 遅延評価 しかし、Iswimの操作的(動的)解釈として、より適切なものがある。 この方法論では、プログラムは実行されると考えるのではなく、プログラムは評価されると考え、その評価は必要に応じて行われるとする。 この評価の方法は、必要…

「Lucid, the Dataflow Programming Language」を翻訳してみた。(その11)

前回の続き。 2.6 Iswimでの呼び出しと束縛 手続き的解釈の適用には注意が必要である。 というのも、そうでなければ、スコープ規則に関して間違いが生じる可能性があるからだ。 特に、グローバル変数を含む関数定義の正しい解釈について注意する必要がある。…

「Lucid, the Dataflow Programming Language」を翻訳してみた。(その10)

前回の続き。 2.4 サンプルプログラム where節の本体が「補助定義」であるという非形式的な考え方に形式的意味論がどう一致しているかを説明するために、前に出てきた次の式を考えてみる: C + A * Z where A = 5; B = 5; C = Z * A + 1 where A = 3; Z = A …

「Lucid, the Dataflow Programming Language」を翻訳してみた。(その9)

前回の続き。 2.2 Iswimの構文 Iswim()という言語の(抽象)構文(syntax)と意味論(semantics)は代数によって完全に定まる。 Iswimファミリはシンプルであり、以下の数段落で合理的で正確な仕様を与えることが出来る。 代数が与えられると、そのシグネチ…

「Lucid, the Dataflow Programming Language」を翻訳してみた。(その8)

前回の続き。 2.1 代数 プログラミング言語についての質問で最もよくされるものの1つは、「その言語にはどのようなデータ型があるのか?」というものである。 言い換えれば、どんな種類のデータがその言語では扱われるのか、ということである。 この質問に対…

「Lucid, the Dataflow Programming Language」を翻訳してみた。(その7)

だいぶ間が空いてしまったけど、久々に。 2. ISWIMと代数 Lucidは定義型言語(definitional language)である。 すなわち、Lucidプログラムの文(statement)はストリームとフィルタを定義する式であり、格納場所を更新するコマンドではない。 Lucidはこの意…

TeXをMarkdown記法でも使ってみた・改。

以前、をMarkdown記法で使う方法についての記事を書いた: この中で、pre要素を使うというHackをしたわけだけど、1つ問題があった。 それは、Markdown記法の```を使うと、pre要素内のの数式が正しく出なくなる場合がある、というもの。 回避策として、pre要…

階段昇降問題を解いてみた。

事の起こりは、以下のツイート: 長男がいきなり「3歩進んで2歩下がる」と言って、次男が「ってことは、1歩しか進まないよね」と言ったので、「15段の階段で毎日『3歩進んで2歩下がる』を繰り返したら、何日目に15段目に着くか?」と聞いてみた。予想通りに…

人工知能と幸福な人生。

この前の木曜日に『人工知能のための哲学塾・未来社会編 第五夜「人工知能にとって幸福とは何か?」』に参加してきた。 難しいテーマだったけど、議論もとても面白く、すごく楽しめた。 ニコ生は以下から: そして、ちょっとしたショートショートを思いつい…

般若心経の話。

この前、文章を書くことについての記事を書いた: その関連になるのだけど、過去のツイートをいろいろ漁ってると、そういえばこんなことをツイートしてたよなぁ、というのがいろいろ出てくる。 せっかくなので、そういったものをちょっと拾い上げていこうか…

文章を書くということ。

この間、MacBook Airを買ったので、今、iMacからの移行をやっている。 そんな中で、過去のデータを漁っていたら、懐かしい文章が出てきた。 それは、大学のときに所属していた将棋サークルの部誌に関する文章なのだけど(自分はサークル内で部誌を担当する係…

フィギュアを片付けてみた。

あまり習慣化できてないけど、地道に部屋を片付け中。 そんな中で、プライズなどでゲットしたフィギュアを片付けようかな、と。 ホントは手放したくないんだけど、けっこう場所をとるし、手入れとかも全然できていないので、それなら売ってしまって、他の人…

多肉植物の植え替えをやってみた。

この前買った多肉植物(セダム)の「虹の玉」と「春萌」。 この子たちの植え替えをやってみた。 準備 参考にしたのは、以下の本: これでうまくいく! よく育つ多肉植物BOOK作者: ?岡秀明出版社/メーカー: 主婦の友社発売日: 2017/11/24メディア: 単行本(ソ…

ファミリーテックIoTLTに行ってみた。

この前の技術書典6で買った親方Projectさんの「Onestop 勉強会」を読んで、勉強会に行きたい気持ちが最近高まってる。 そんな中見つけた勉強会の1つが、IoTLTという、IoT縛りの勉強会(LT会)。 一応、自分は組込みの会社で働いていて、マーケティングではIo…

多肉植物を買ってみた。

この前の日曜日に多肉植物を買ってみたので、その話を少し。 きっかけ きっかけは、会社の環境。 人が増えて二酸化炭素濃度が高くなっているのか、ボーッとすることがたまにあったり。 それに、空気も乾燥していて、デスク下に置いていた無香空間が干からび…

技術書典6に一般参加で行ってきた。

4/14(日)に池袋で技術書典6があったので、一般参加で行ってきた。 技術書典って何? 一応、簡単に技術書典の説明。 技術書典は、技術書オンリーの同人誌即売会で、いろいろなサークルが様々なジャンルの技術書を作って持ち寄り、売り買いするイベント。 20…

『コミック版 たった1分で人生が変わる片づけの習慣』を読んでみた。

ちょっと仕事でいろいろダメージ受けてて、ほとんど更新できてない・・・ で、部屋の片づけも出来てなくて、「汚部屋」になってしまってる。。。 これはアカンなということで、片づけを始めることにした。 この『コミック版 たった1分で人生が変わる片づけの…

FXRubyをMacにインストールしてみた。

ちょっとRubyでGUIいじれないかなぁと思って、MacにFXRubyを入れてみたので、そのメモ。 FXRubyとは FXRubyとは、FOX toolkitというクロスプラットフォームなGUIツールキットの、Rubyバインディング。 クロスプラットフォームなGUIツールキットでRubyでも使…

『人工知能のための哲学塾・未来社会編 第参夜「人工知能は文化を形成するか?」』に参加してきた。

このブログでも何度か紹介している、『人工知能のための哲学塾』。 その第三弾ということで、未来社会編が現在進行形で開催されている。 その第参夜が1/29(火)に開かれて、自分も参加してきたのだけど、ちょっと考えたことがあったので、それについて書い…

『のびのびTRPG ザ・ホラー』を遊んでみた。ぼっちで。

以下の記事の中で、最近TRPG熱がちょっと上がっているということを書いた。 で、ゲムマ2018秋に参加したとき、これどうなんだろうね、と仲間内でちょっと話に上がったのが、『のびのびTRPG』。 キャラやシナリオを用意する必要もなく、GMも不要(持ち回りで…

Nokiaの体組成計Body+を買ってみた。

年明けに、今年のやっていきたいこととして、体調を整え、体重を減らしていきたいということを書いた。 で、継続してジムに通い続けてるんだけど、モチベーション維持のためにも、やっぱり体重を記録していかないとなぁ、と。 ただ、記録を毎回メモしたりす…

現代人は首が痛い。

いつまでもお正月の記事をトップにしておくのもなんなので、簡易更新。 昨日、いつものように、電車で帰宅している途中のこと。 いつも武蔵浦和で乗り換えしているんだけど、埼京線のホームから武蔵野線のホームに向かい、電車が来るのを待っていた。 ちょう…

お正月なのでいろいろ出かけてみた。

お正月ということで、初日の出を見に行ったり、一般参賀に行ってみたりした。 初日の出@大洗 初日の出は去年に引き続き、大洗で。 2016年から毎年行っているから、なんだかんだで4年目w (2017年のときの様子はブログに書いてないけど、深夜の23時半にロード…

新年の挨拶と今年やっていきたいこと。(2019年)

あけましておめでとうございます! 今年もよろしくお願いします! 初日の出@大洗 with 5LINKS and ということで、今年やっていきたいことのリストアップ。 体調管理 去年の振り返りでも書いた通り、体調を整えるのがまずは急務だったりする。 もう体がボロ…

ブログの今年一年を振り返ってみた。(2018年)

毎年恒例、ブログの1年の振り返り。 全体 まずは全体的なところから。 更新頻度 去年にも増して酷かったので、もはやなんとも・・・ これに関しては、あとで別項で。 内容 肝心の内容に関してはというと、以下のような感じ: 技術 pLucidの紹介 Lucid本の翻…

2018年に初めて遊んだゲーム、ベスト3。

2018年に初めて遊んだゲームで、特に気に入ったものを選んでみた。 これまでのは、以下から: ただ、あらかじめ書いておくと、今年は去年にも増してゲームを遊べていなくて、これから挙げる3つも、「今年遊んだ中では」という感じがちょっと拭えない・・・ …