タグ

kakkun61のブックマーク (2,373)

  • デジタル地図帳 for School | 平凡社地図出版

    「デジタル地図帳 for School」は、簡単な設定で、「地理院地図」のビューアやleaflet.jsで読み込めるオープンデータの地図タイル(※1)です。教育や学習での利用を念頭に、各ズーム段階によって地図上の情報を最適化しているので、既存の公開タイルと比較して、低いズームレベル(※2)でも、地図として違和感がすくないという点が特徴です。2024年5月8日より下記のurlにて無料で公開しており、どなたでも自由にお使いいただけます。 https://www.hcpc.co.jp/tiles/{z}/{x}/{y}.png ※パンフレット右上に掲載の二次元コードで表示される、追加機能組み込み参考サイトはまもなく公開を終了します。 なぜ教育用に新しいデジタル地図が必要なのか? 現在ネットで公開されているデジタル地図は、目的地へのルートを見つけたり、店を探したりするのに便利なものです。地名やラン

    kakkun61
    kakkun61 2025/01/09
  • exec(3) するけど、その裏でサーバーとかを動かしておきたい

    何か下準備をしたり環境変数などに変更を加えてから指定したコマンドを起動するプログラムはたくさんある。bundle exec や npx, uv run や、拙作でも envchain などがそのようなプログラムの例だと思う。このようなプログラムは世間では executor と呼ばれているような気がするので、ここでもそう呼ぶことにする。 executor を最近あたらしく書いていて、ただそこでは指定されたコマンドを起動するだけではなく、そのコマンドのためのサーバーを裏で実行し続ける必要があり、ちょっとした工夫が必要だったのでメモ。 (なお、executor に指定されたコマンド = ユーザーや executor の親プロセスが最終的に起動を期待しているプログラムについては以後 command と表記) tl;dr executor が command の子プロセスになるようにする。execu

  • Blogs - Tushar Adhatrao

    Compiling Haskell to WebAssembly: A Step-by-Step Guide Introduction This guide demonstrates how to compile Haskell code into WebAssembly (Wasm). You'll learn how to convert a single Haskell source file to WebAssembly and integrate it into a web application. Additionally, we'll cover compiling a Haskell Cabal project for WebAssembly, including handling data types like strings. For detailed technica

  • JNCAP|NASVA 独立行政法人 自動車事故対策機構

    全検索をしたい場合は、何も指定せずに「⾃動⾞を検索」ボタンを押してください。 2024年3月末時点で生産・販売中の車種及び2024年4⽉以降で試験を実施した車種を掲載しています。 自動車安全性能2023評価結果一覧や、過去の試験⾞種は資料ダウンロードの試験結果⼀覧表をご覧ください。 ブランド名

  • 'do' Unchained: Embracing Local Imperativity in a Purely Functional Language - Microsoft Research

    kakkun61
    kakkun61 2024/12/21
  • tim philip williams :: Fixing GADTs

    This post was originally titled “Generic recursion schemes for GADTs using fixed points of higher-order functors” – but that doesn’t really explain why one would go to all the trouble of writing code this way. The answer, of course, is that we obtain various proofs of correctness embedded within our static types. For example, we have a proof that our traversals are correct and that our syntax AST

  • Haskeller の異常な愛情:または、生粋の Haskeller は転職して Rust を一ヶ月半書いて何を思うようになったか

    Haskeller の異常な愛情:または、生粋の Haskeller は転職して Rust を一ヶ月半書いて何を思うようになったか この記事は Jij Advent Calendar 2024、Haskell Advent Calendar 2024、およびRust Advent Calendar 2024シリーズ2 の18日目の記事です。 各カレンダーの前後の記事は以下の通りです: Haskell Advent Calendar 2024 前の記事: 次の記事:gotoki_no_joe さんの「集めるDPについて」 Rust Advent Calendar 2024 シリーズ2 前の記事:yasuo-ozu さんの「物のSpecializationをStable Rustで!」 次の記事:hyumanase さんの「Rust.Tokyo 2024 に初参加した」 Jij Advent

    Haskeller の異常な愛情:または、生粋の Haskeller は転職して Rust を一ヶ月半書いて何を思うようになったか
  • Amazon.co.jp: 写真撮影の教科書 思いどおりに撮るための写真の手引き: 岡嶋和幸: Digital Ebook Purchas

    kakkun61
    kakkun61 2024/11/09
  • 絵を見る技術 名画の構造を読み解く 秋田麻早子(著/文) - 朝日出版社

    紹介 【同じ絵を見ても、プロと素人では、見ているところが違っていた!?】 ・この絵の主役はどこ? ・なぜ、この絵に惹きつけられるのだろう? ・前情報なしに絵を見たとき、どう目を動かしたらいいの? ・バランスや構図が良いとか悪いとか、みんな何を見て言っているの? ちゃんと絵の中にヒントがあるんです。 センスがなくても、知識がなくても、目の前の絵画を「自分の目で見る」、 そして「良し悪しを判断する」ことは、できるんです。 謎を解くカギは、ぜんぶ絵の中にあります。 絵の研究は、「意味」と「形」の二柱。 このでは、これまであまり触れられてこなかった、「造形」(線や色やバランスや構図)の面から歴史的名画を見ていきます。 描かれたモノを「見る」ためには、少し見方を訓練していないと気づかないものです。 ダ・ヴィンチ、ラファエロ、ルーベンス、 ベラスケス、フェルメール、ゴッホ、セザンヌ―― 超有名なあ

    絵を見る技術 名画の構造を読み解く 秋田麻早子(著/文) - 朝日出版社
    kakkun61
    kakkun61 2024/11/09
  • Domain Modeling Made Functional まとめ - Qiita

    Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 『Domain Modeling Made Functional』という関数型ドメインモデリングのを読んでみた。とても面白かったので紹介したい。 はじめに 著者について 『Domain Driven Design with the F# type System』 という面白いスライドで、関数型のテクニックを使って BLOBA1 をエレガントにコーディングする技法を提案していた Scott Wlaschin という人。 おすすめしたい人 特に次のような人は、きっと面白く読めるのではないかと思う。 ふだん純粋関数型言語を使っていて計算機科

    Domain Modeling Made Functional まとめ - Qiita
    kakkun61
    kakkun61 2024/11/09
  • 日本全国の電子部品店マップを作成しました - チカラの技術

    こんにちは!元気です! タイトルどおり、北は北海道から南は沖縄まで電子部品店をマップにまとめました。 電子部品店マップ クリックすると地図にジャンプします。 使い方・注意点 マーカーをクリックすると店名とグーグルマップの詳細情報へのリンクが表示されます 同地域の店舗はマーカーが重なっている場合があります。拡大してご確認ください Google map APIの無料枠に限りがあるため1日の使用回数に制限を設けています。利用できない場合は翌日(日時間17:00にリセット)に再度お試しください。 作成経緯・作り方 作った理由:欲しかったからです。 作成手順(ざっくり): Google Maps PlatformAPI Keyを取得します Javascripthtmlを書きます twitterで頂いた店舗情報を確認したあとGoogle Prace IDや緯度経度を調べてデータを登録します ロゴ

    日本全国の電子部品店マップを作成しました - チカラの技術
    kakkun61
    kakkun61 2024/11/02
  • 強盗団の件、犯罪エアプの人達は平和ボケしすぎ

    https://anond.hatelabo.jp/20241019210503 俺は普通に地元が荒れまくっていて、何人か友達も死んでるし、俺自身も犯罪に巻き込まれたことがある被害者だ。 こういうのを見る度に思うのだけれど、「頭が悪いから犯罪する」だとか、「能力が不足しているから犯罪をする」という思考に流されすぎ。 いいか、今話題の強盗団は「何も悪くないのに強盗になってしまう」ことが一番の問題なんだ。 倫理意識が高かろうが、頭が良かろうが強盗になる。それがこれからの世の中。 お前が言っているのは「詐欺は騙される方が悪い」とかそういうレベルの極論。何も悪くなくても詐欺の被害者にはなる。 普通の人達が社会人をやってる時間を「どうやったら犯罪で一儲けするか」に振っている人間達がいるという思考をしろ。これは単純な労働力投下量の問題であって倫理の問題ではない。 まずこの文章を読んで、お前も、俺も、い

    強盗団の件、犯罪エアプの人達は平和ボケしすぎ
    kakkun61
    kakkun61 2024/10/20
  • アングル:領土沈んでも国として存続を、水没危機のツバルが国際社会にアピール

    南太平洋の島国ツバルの総人口は1万1000人。9つの環礁で暮らす人々にとって、残された時間は減りつつある。写真は人口の集中するフナフティ環礁の航空写真。9月6日撮影(2024年 ロイター/Kirsty Needham) [フォンガファル(ツバル) 25日 ロイター] - 南太平洋の島国ツバルの総人口は1万1000人。9つの環礁で暮らす人々にとって、残された時間は減りつつある。 フカノエ・ラアファイさん(29)は、できれば子どもを産みたいと思っている。だが海面上昇を考えると、なかなか夢の実現には踏み切れない。科学者たちの予測では、子どもが成人する頃には、故郷の大半は海面下に沈んでしまうからだ。

    アングル:領土沈んでも国として存続を、水没危機のツバルが国際社会にアピール
    kakkun61
    kakkun61 2024/10/09
  • Space on Paper: 文字組版アルゴリズムの基礎 - gfnweb

    Loading slides... Previous NextSpace on Paper: 文字組版アルゴリズムの基礎2024年9月21日 スライド 組版 PDFTweet夏のプログラミング・シンポジウム2024での発表に使用したスライドです.

    kakkun61
    kakkun61 2024/09/22
  • サイバー警察に家宅捜索されたときの備え方 ネット時代の警察リスクと対策|lain

    「全く身に覚えのない家宅捜索に入られた」ここ数年、そんな話をよく聞くようになりました。その多くがサイバー犯罪で疑われるケースです。 ネットで世界中が繋がった結果、遠く離れた赤の他人と、何らかの情報が紐付くことが起こり得るようになりました。 その中には当然犯罪者も含まれており、運悪く紐付いたために警察に疑われてしまう人がいるようです。 ネットの普及により、一般市民がとばっちりで警察に目を付けられるリスクは以前にも増して高まっています。 なぜ家宅捜索に入られたのかサイバー警察に誤って家宅捜索された人たちの記事をいくつかご紹介します。 在宅エンジニアが疑われた フリーランスエンジニア仕事で不正サイトを調査したところ、アクセス履歴から犯人と間違われた事件です。 真犯人がVPNで身元を隠していたためか、生IPでアクセスした彼が警察に疑われてしまったようです。おそらく警察は、真犯人がヘマして生IP

    サイバー警察に家宅捜索されたときの備え方 ネット時代の警察リスクと対策|lain
    kakkun61
    kakkun61 2024/09/18
  • 経営者になってわかったこと

    起業して 8 年しか経っていないが、だらだら書いてみる。 自分の会社は従業員は片手で足りるくらいの IT 系零細企業。 税金は高い売上はすぐ入ってこない自分の給与は自分で決められる仕事は簡単に見つからない社員を雇うのは難しい経理、総務、法務、営業事務、書類仕事は多い賞与はいくら出してもいいオフィス賃貸費用は安いほうがいい銀行はとにかくお金を貸そうとしてくる資金は銀行からお金を借りない限りどうでもいい経営の相談ができない顧問税理士は役に立たない帝国データバンクや東京商工リサーチへの登録が必要になる時がある自分宛ての投資マンション迷惑電話がくる社員の月給が低ければ低いほど経営が楽になる社員の年収は可能な限り高いほうが良い自分の年収に興味がなくなる収入を増やすのも、支出を減らすのも難しい賞与はいつ出してもいい顧問弁護士は必要だが、いつも必要なわけではない自社製品だけで会社を回すのは現実的ではな

    kakkun61
    kakkun61 2024/09/18
  • Linuxカーネルパラメータのチューニング&設計 - Qiita

    Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? Linuxカーネルパラメータのチューニング&設計 0.目的 【カーネルパラメータのチューニング】を修得する目的は、サーバの特性を理解し、それぞれに合ったカーネルパラメータのチューニングすることでリソースの有効活用をできるようになることを目的とし、私個人の経験を元にした見解を以下の記事に掲載します。 1.最初に サーバには、それぞれ必要なリソース特性があり、それに合わせたカーネルパラメータのチューニングが必要となります。 世の中の流れはオンプレよりクラウドに移行してはいるので、カーネルパラメータのチューニングよりスケールアップなりスケール

    Linuxカーネルパラメータのチューニング&設計 - Qiita
    kakkun61
    kakkun61 2024/09/02
  • 鉄道車両紀行:森林鉄道支えた機関車 「SKW」って何の略? | 毎日新聞

    松原スポーツ公園で動態保存されているA型内燃機関車の先頭。SKWの文字が入れられている=長野県王滝村で2024年8月24日、渡部直樹撮影 かつて日の林業を支えた「酒井金之助」という人をご存じでしょうか。埼玉県久喜市の酒井重工業久喜合同事務所には、そのイニシャルをつけた小さな機関車が眠っています。同社の前身「酒井工作所」のベストセラー、A型です。ボンネットの先端につけられたSKWの文字は、創業者である酒井氏のイニシャルに、ワークス(工場)のWを足したものだとされています。 福島市出身の酒井氏は大正時代、現在の東京都港区に自らの工場を起こしました。当時、山で切り出した木材を運ぶのに、人力や家畜、川を利用した輸送方法に代わり、蒸気機関車や小さな内燃機関車が使われ始めた頃でした。独立前に勤めた機械製作所で機関車の知識を得ていた酒井氏は、自動車修理業と並行して、自ら全国を飛び回り外国製機関車の修理

    鉄道車両紀行:森林鉄道支えた機関車 「SKW」って何の略? | 毎日新聞
    kakkun61
    kakkun61 2024/09/01
  • Unordered Homogeneous N-tuples for Guaranteed Commutativity

  • ECN-2自家現像について - analogue life

    カラーネガフィルムがあまりにも高額商品になってしまったため400ftのシネフィルムを購入しカラーネガ自家現像に踏み切ったのが去年のこと。あれから半年くらいKodak Vision3の自家現像を繰り返す中でわかってきたことがあるので、ECN-2自家現像のノウハウを恥ずかしながら失敗写真と共に書き残しておく。 2024年5月26日追記 内容を拡充し有料記事に致しました。ノウハウを基にした成功作例と併せて失敗作例もたくさん載せておりますのでECN-2現像に興味がある、上手くいかない人はぜひ購入ください 上手くいったようで全然ダメだったECN-2自家現像 必須アイテムは湯沸かし器 温度管理について プレバス工程: 異様にしつこいバッキング層 現像と停止工程: 温度管理は無神経でいいけど色ムラは気にすべき 漂白定着: 温度高め、時間は気持ち長め 定着洗浄工程: 白い粉を残さないために 水切り工程:

    ECN-2自家現像について - analogue life
    kakkun61
    kakkun61 2024/08/10