もーほんとに太ってて心配で、どうにかこうにかある程度のところまで痩せさせた。5年かかった。 体重は聞いてないから知らんけど、街で数年に1度見かけるレベルのデブから、街に溶け込むレベルのデブくらいまでになったと思う。 家族が肥満で心配な人は少しでも参考になれば。。 やったこと ・お菓子を買わせず、こちらから買い与えた自分でお菓子を買わせると、ポテチ&チョコレート&コンビニスイーツ&アイスクリームみたいな高カロリーの組み合わせを1日で完食するので、こちらで選んで買い与えることにした。 デブにお菓子を我慢させることは不可能なので、「食べさせない」というのは無理。 お菓子を選ぶ基準は ・ノンフライ ・バターを大量に使っていない の2点のみ。糖質を減らすと物足りなさから買い食いをするので逆効果。まずは脂質を減らすことから始めた。 よく買っていたのはカールとハード系グミ。 ・ココアを飲ませまくったどん
ここ1年ぐらい*1から、ターミナル環境を良くしようという活動を頑張っている。 今使ってる環境が Windows / macOS / Manjaro Linux と、完全マルチプラットフォームな感じになっておりそれぞれで違うものをあんまり使いたくはない。 悩んでるけど結論が出ないので、ここに備忘録的にかいておこうと思う。 設定管理 github.com Chezmoi www.chezmoi.io 以前記事も書いたけど、クロスプラットフォームなうえにスクリプトも実行できるのちょっと嬉しい。 deflis.hatenablog.com Sheldon github.com 最近やめたので理由を書いておこうと思って。 Chezmoiにはexternalという機能があって、これで外部リポジトリのデータを管理することができるので、実はシェルプラグインの管理はほとんどChezmoiだけでできてしまうこ
WezTerm is a powerful cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust Download Features¶ Runs on Linux, macOS, Windows 10 and FreeBSD Multiplex terminal panes, tabs and windows on local and remote hosts, with native mouse and scrollback Ligatures, Color Emoji and font fallback, with true color and dynamic color schemes. Hyperlinks A full list of features ca
From 1.8 onwards the Crystal compiler should be built with PCRE2 to ensure consistency. ⚠️ As a measure to ease migration to PCRE2, Regex::Options gained more named members which work in both engine versions. To accommodate the additional values, the enum base type changes from Int32 to UInt64 (#13223). ⚠️ Additionally, a new enum Regex::MatchOptions was added to hold options specific to match ope
近年の若者には「推し」がいたりする.「推し」という語が少なくとも原義的には 自身-対象 ではなく 自身-対象-対象を勧められる第三者 という図式を有している点は2020年代の各個人と社会との関係の在り方を写すようで面白いが,まあその話自体に立ち入るのは置いておくとして,20代も終了目前で別に若くもない筆者にもその意味の「推し」の1人くらいはいる.岡本太郎だ.岡本太郎については既に多くの人が熱弁しているけれど,このベラボーな巨人について自らの言葉で書き留めておかねばならぬという欲を私も抑えがたい.だから「後から見返したら恥ずかしいだろう」などという卑しい懸念を唾棄して書くのである. 岡本太郎自体はほとんどの方がご存知だろう.「芸術は爆発だ!」などのやや奇抜な言動で知られ,“奔放なエキセントリックおじさん” のイメージが広く共有されているかもしれない.だが,そうしたイメージは全く一面的である上
The Austral Programming Language Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainbility, and modularity. See: Features and anti-features What are linear types? Specification Tutorial Example programs Source on GitHub
本書は,実践的にコンパイラを学ぶことができる教科書である。コンパイラを記述するプログラミング言語にはOCamlという関数型言語を採用した。また,目的コードには多くのPCで動作確認ができるようにx64コードを採用した。 言語処理系の研究の歴史は,計算機科学の分野の中でも,特に古い部類に入る。その長い歴史の中でも,最近のコンパイル技術の発展には目を見張るものがある。プログラミング言語に新しい概念が導入されるたびに新たなコンパイル手法が提案されてきたのはもちろんであるが,コード最適化に代表されるコンパイラ特有の技術も目覚ましい発展を遂げてきた。 一方,コンパイラの理論と実装の間のギャップはさらに広がったように見える。なぜなら,コンパイラの理論は,長年かつ多岐にわたるアルゴリズムの集積によってさらに複雑化しており,その実装は,新たな原始言語あるいは目的機械から生ずる多くの例外を,統合するよう求めら
dirG @Dirg_rocketdyne 失敗した社員に「なぜ?なぜ?」となぜなぜ分析を繰り返すと、最後に辿り着く結論は 「君は、有能として生まれてこればよかったのに、なんで有能として生まれて来なかったの?何故なの?」 という指摘になって、社員の無能さを責め立てて、フィニッシュです。 twitter.com/Meet60g/status… 2023-04-14 08:22:37 リンク www.keyence.co.jp 5回の「なぜ」で導き出す「なぜなぜ分析」とは?|ものづくりの現場トピックス | キーエンス 問題解決方法として知られる「なぜなぜ分析」ですが、製造現場で取り入れてもうまくいかないケースが多いといわれます。実際に使える解決策を導き出すコツとは?いますぐ試してみたくなる「なぜなぜ分析」のポイントをまとめました。キーエンスの「ものづくりの現場トピックス」では、製造現場でみられ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く