type t (* void *)

関数型言語や英語学習の事とか。

OCaml: RWOを読み進めるためのOCaml設定

20150426加筆 RWOの説明を書いた
20150422加筆 より細かく書いた

20150909加筆 以下の内容はDebian 7向けに書かれており古いです! Debian 8ではより簡単にopamをインストール出来るようになっています! 下の記事では重複する部分は書きませんでしたが、インストール方法については下の記事が最新です。

no-maddojp.hatenablog.com

なんかちょっとだけOCaml環境構築が面倒みたいな話があったので、構築手順を書く。
大体確かめられた手順なのでよいはず。

Emacsのインストールまで解説しますが、RWOを読み始めるにあたりエディタの設定は必ずしも必要ではありません。
楽しんで下さい。

続きを読む

Mistel BAROCCO MD600 日本語配列の思い出

www.archisite.co.jp

BAROCCO MD600日本語配列はMistelから発売された分割キーボードで唯一の日本語配列のセパレートキーボードでした。
英語配列も同ナンバリングで存在するから日本語配列という表記を忘れずにね。

続きを読む

インターネットの闇を支える技術2

リモートワークが始まって役に立ったものをまとめておきます

PLANTRONICS Voyager 5200

ワイヤレスヘッドセット。値段は高いのですが

  • 軽くて一日耳につけっぱなしでもいける
  • ワイヤレスヘッドセットとしては電池の持ちが良い
  • 周りのノイズを消す性能が高い、割とうるさいファンの近くで使っていてもファンの音がのらない
  • 風の音を消す性能が高いおかげで、外で散歩しながら友人と雑談みたいなことができる(コロナ後は本当に通話することが増えた)

LOGICOOLの4000円程度のUSBヘッドセット持っているのですが、締め付けが強くて1時間以上ヘッドセットをつけているのは辛いです。 これはつけていて苦にならない、という素晴らしいものです。

リモートワークで色々買いましたがこれが一番役に立ってます。
値段分の価値はわたしにはありました。

リングフィットアドベンチャー

半年越しに買えて嬉しいです。 筋トレの必要性はリモートワークが始まる前から感じていたのですが、ものぐさなので習慣化できていませんでした。 ゲーミフィケーションは人間のバグにつけ込んで熱中させる性能がとても高いですね……

ヨガマット

リングフィットアドベンチャーは足をどしどしその場で足踏みしたりするのを要求するので、集合住宅では音が気になるところです。 また床に寝そべってやる系の筋トレもあるのでマットを買ってみました。

ウォーキングダンベ

コロナでリモートワーク強制になってから、2週間くらいこもっていたら鬱っぽくなってしまい意識的にウォーキングの時間を作るようにしました。 短い時間で運動負荷を上げたかったので、こういうものを買ってみました。

足首につけるタイプは体を痛めるのが心配なので避けて手に持つタイプです。

まとめ?

頑張って生存しております。

私的生活時間がずれてしまった時の整え方

同じような話を繰り返している気がするがメモ

薬をキメる

入眠時間がずれる現象であれば、現代では薬局で睡眠導入剤を買うことが出来るのでキメる。
合う薬があればかなり症状は改善する。
毎日飲むようには出来てないから常態化するようなら睡眠外来にいこうね……。

コントロール可能な生活リズムを矯正する

  • 食事の時間
  • 入浴の時間

生活リズムが壊れたら、まずこれらの時間をいつも通りにするように気をつける。
インシュは避ける。

インシュは入眠導入作用があるけど睡眠が浅くなるので総合的にはマイナスだと思っている。

意識的に疲労する

  • 部屋の大掃除
  • 2時間以上の運動
  • 水泳
  • Fit Boxing

楽なのは3時間以上の徒歩移動、かなり疲れるので入眠が可能。 水泳など負荷の高い運動で時間を圧縮するのがいいと思う。

深夜に刺激を避ける

  • 動画視聴
  • ゲーム
  • プログラミング
  • 冷たい清涼飲料水

これらは入眠のためには刺激が強すぎるので避ける。

朝ココをキメる

平日朝六時からの放送をキメなきゃ!という意識で入眠する
てつのこ絶対ダメ

www.youtube.com

今回のオチとしては朝ココのアーカイブを見すぎてまた睡眠が壊れました

睡眠壊れたので直した

大した話じゃないです。

睡眠壊れた

8/9月ごろ入眠朝6時以降じゃないと不可能になった。起きる時間は14時以降。
まともな社会生活不可能になった。

治す方法

まず薬に頼る

  • 壊れた睡眠治すのは自分の力では直らないという諦めから始まる
  • 速攻で心療内科や睡眠外来に行って効果的な薬を手に入れたほうが良いと思う
  • 市販薬でもドリエル等の睡眠改善薬が手に入る(指定第2類医薬品)
    私はこれがとても体にあって薬でまず睡眠が取れるようになったので処方薬は飲まなかった
    市販薬は毎日服用するようなものではない、外来にいくべき。。。

疲労感を得る

  • 毎日歩いて帰宅するようにした
    • 私の場合歩いて1時間なので比較的気楽
  • Fit Boxingなど疲労するゲームを遊ぶ
    • かなり疲れるのでおすすめ
  • 市民プールで泳ぐ
    • 1時間程度でくたくたになる

疲労感を得るようにしてからは24時ごろの浅い時間に入眠可能になった。

睡眠環境を改善する

  • 枕の高さをタオルで調整した
  • 遮光カーテン
  • 耳栓を常にして寝るように
    • 朝3時の新聞配達の音で目が覚めることが多かった
  • 温度の変化は以外にストレスになるので躊躇なくエアコンを使う

やめたこと

  • 深夜のゲーム
  • 深夜のプログラミング
  • 深夜のYoutube視聴
    • 睡眠が壊れたきっかけはマグロナ様のダークソウル全シリーズ走破の動画をぶっ続けで見たことだった
  • 深夜の飲酒
    • アルコールには睡眠導入効果があるけど、眠りが浅くなるので総合的にマイナス
  • 深夜に冷たい飲み物を飲むこと
    • かなり目が覚める

結果

午前起床可能になった。社会頑張っていきます。

進捗大陸05で使ったsatisfyのファイルを公開しました

公開しました。
キレイにしようという話もありましたが、実際使うとどんな感じになるのか見てもらえると良いかなと思い、そのまま公開してます。

github.com

続きを読む