2020年3月29日 / 最終更新日時 : 2020年11月3日 Tsutomu Terada Tipsかわいいマグネット また片付けネタ．コードをまとめるのに結束バンド使うけど，ある程度まとめつつマグネットで机裏とかに固定するためのグッズないかなあと探して見つけたのがこれ．かわいいから選んだわけじゃない．でも伝票に「かわいいマグネット」って […]
2020年2月10日 / 最終更新日時 : 2020年2月10日 Tsutomu Terada TipsGoogle Dataset Search Googleがまたヤバイサービスを始めたのかもしれない． https://datasetsearch.research.google.com/ データセットの検索サービス．例えば，Accelerometer とかって打ち […]
2020年1月8日 / 最終更新日時 : 2022年8月3日 Tsutomu Terada TipsComment Screen 教養の授業で，Comment Screenを使ってみた． https://commentscreen.com/ 知らない人のために，これは，プレゼン中にニコ動みたいにコメントが画面上を流れるサービスで，授業で使う場合，私 […]
2020年1月5日 / 最終更新日時 : 2020年1月5日 Tsutomu Terada TipsGIFアニメ プレゼンでちょっとしたアニメーションを作るのに，Powerpoint内ではちょっと複雑で厳しかったので，ひっさしぶりにGIFアニメを作ることにした． で，これまた久しぶりにGiamというアプリを立ち上げて，コマの図作成と […]
2019年11月10日 / 最終更新日時 : 2019年12月11日 Tsutomu Terada TipsGoogle Home の不思議な挙動 Google Home を家で便利に使っていて，IFTTTでNature Remo と連携させて，色々家電制御している． で，HDDレコーダを再生しているときに，次のチャプターにするのに「次のチャプターにして」ってGoo […]
2019年11月4日 / 最終更新日時 : 2022年1月31日 Tsutomu Terada TipsIIS8でRedirect設定してみた ウェブサーバを引っ越したので，元のサイトに「新しいサイトはこちら」みたいなのを書こうと思ったんだけど，もう直接Redirectするようにすればいいのか，と思ってやってみた． 昔 .htaccess に色々書く，というのを […]
2019年11月1日 / 最終更新日時 : 2019年11月11日 Tsutomu Terada Tipsメールサーバ 研究室運営関連で自由にメーリングリストとか作りたいので，自分の部屋のサーバでメールサーバを動かしている(Xmail Server)．学外サービスでもいいんだけど，ドメインが神戸大学の方がいいかなと．で，Windowsサー […]
2019年10月30日 / 最終更新日時 : 2022年8月3日 Tsutomu Terada TipsFirefoxで開いているページをChromeで開き直すスクリプト 最近，FirefoxでGoogle Spreadsheet を開くと最後までページの読み込みが終わりきらない場合が多い．このサービスだけがすげえ読み込みが遅い． キャッシュクリアしたり，IPv6を有効にしたり無効にしたり […]
2019年9月10日 / 最終更新日時 : 2019年11月11日 Tsutomu Terada TipsX1 Carbon 2019モデル 最近は，最新のPCも少し古いPCも性能は体感ではあんまし変わんないし，乗り換えにおっくうになってたんだけど，前のが調子悪くなったので，X1 Carbon の2019モデルにちょっと前のCarbonから乗り換えた．やっぱり […]
2019年8月14日 / 最終更新日時 : 2019年11月11日 Tsutomu Terada Tipsサーバ監視 この前，MLサーバを動かしているサーバPCが落ちていたのをしばらく気づかなかったので，とりあえず無料のサーバ監視サービスを使ってみた． https://savamoni.com/ 最初に出てきたやつをそのまま使ってみたけ […]
