平衡点


2019/03/04

_ all-the-icons-in-terminal

前回: rxvt-unicode で icon フォントが使いたい の続き.

ターミナルでアイコンが綺麗に出る様になると, Emacs の中でも使いたくなるのが人情です.

という訳で, all-the-icons-in-terminal なるモノを作ったり.

やっていることは

  • icons-in-terminal に all-the-icons.el のフォントを合成して
  • all-the-icons.el のデータセットを上書きする

といった塩梅. これで, ターミナルでも GUI でも all-the-icons と同様にアイコンが表示できるようになりました, とさ.


2019/03/07

_ Dream Theater: Distance over time

購入

ディスタンス・オーヴァー・タイム(リミテッド・エディション)(完全生産限定盤)(2CD)(特典なし)
ドリーム・シアター, SMJ, ¥2,840

割と王道だと思うが, なんか「及第点」って気分になるのは何故だろう. もう少し聞き込んでみる.


2019/03/17

_ 有給消化?

振休もそうだったけれど, どうせ大学いる/来るのだからあまり意味が無い気がするんだよなぁ.

閑話休題

荷物搬送の手配がうまくできなくてじたばたしていたり.

_ SONY DPT-RP1 with Linux

iPad + Apple Pencil を手にいれて以来, あまり触っていなかったのだけれども.

俄然やる気が出てきた.

書き心地は良いんだけども, iPad ってやっぱり iPad だよね. 何より思いのがしんどくてしょうがない.

そのうち試そう.


2019/03/22

_ 退去&鍵返却

神戸から来て諸々整理し終わった頃

といった塩梅だった模様.

その後本が増えたり計算機が増えたり本が増えたり計算機が増えたりしていた私の部屋ですが,

となりました.

その後, 私物も全て撤去したので鍵等を返却しました. 当分の間は部屋が無い難民をやります.

_ Bluetooth イヤホン購入

Xperia XZ2 Compact にして困ったのは, イヤホンジャックが無いことだったり(風呂でだらだらと動画眺めたりするのが難しいのだな). それに加えて, 絡まるコードから解放されたい, という事もあり, アマゾンのタイムセールで以下を購入

【進化版 Bluetooth 5.0 IPX7完全防水】 Bluetooth イヤホン 高音質 両耳 自動ペアリング 自動ON/OFF 90時間連続駆動 ブルートゥース ワイヤレス スポーツイヤホン AAC対応 左右分離型 Siri対応 音量調整 充電式収納ケース付き iPhone/ipad/Android適用[最新版] (black)
Ginova

使った感じでは

  • 途切れ等は(思ったより)無い.
  • 音はクリアなんだが, 低音が弱い気がする.
  • 防水なので, 風呂でも安心(今の所)

といった感じ.

充電用のケースはモバイルバッテリ代わりにも使えそう(とはいえ, 3000mAh ではあるが).


2019/03/31

_ 「退職エントリマダァ?(・∀・ )っ/凵⌒☆チンチン」とか言われても :Work

2019年3月31日をもって, 京都大学 学際融合教育研究推進センター 数学ユニットを離れます。

「いろいろ」書きたいことはあるんですが, うまくまとまらなくて. 日付を越えると四月馬鹿の日になってしまうので, とりあえず.

在職中は沢山の方々にお世話になりました. 今後とも何卒よろしくお願いいたします.

「いろいろ」は査読された後に公開予定です.

ではでは.


連絡先など
最近の日記
  • 2023/09/07
    • 1. Wanderlust で返信時にメーリングリストのシリアルナンバを削除するには
  • 2023/08/23
    • 1. 買った計算機に漸く火を入れたり.
  • 2023/08/05
    • 1. 家庭内 Wifi 環境の速度改善
  • 2023/08/04
    • 1. Wanderlust の返信順ソート関数
  • 2023/06/12
    • 1. Twitter アカウントが凍結されました.
一覧
2006|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|02|03|04|08|09|10|11|12|
2013|01|02|03|04|05|06|08|09|10|11|12|
2014|01|02|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|09|10|
2016|02|03|
2017|01|02|03|05|06|07|09|11|12|
2018|03|06|07|10|11|12|
2019|01|02|03|04|05|07|10|12|
2020|01|02|03|04|05|08|09|10|11|12|
2021|01|02|03|05|06|07|08|09|11|12|
2022|01|02|03|04|05|06|08|10|11|12|
2023|02|03|04|06|08|09|
Back to Top ▲