相鉄沿線民の通勤経路についての悩み IC定期券の乗り越し精算ルール活用の可能性の検討 鉄道会社の公式見解をインターネット上で探す 各社のお問い合わせセンターへの問い合わせと結果 注意点と構造的な問題点 本ブログを始めたのは2015年だったが、本格的な投稿は2016年に1本したのみで、実に7年近く放置してしまった。3日坊主にすら及ばない。しかし、このたびぜひブログとして書いておきたいまとまったネタが出て来たので、久しぶりにブログを公開することにした。新規開業した、相鉄／東急新横浜線に関する定期券をめぐる問題である。 相鉄沿線民の通勤経路についての悩み 去る2023年3月18日に、相鉄新横浜線の羽沢横浜国大～新横浜と東急新横浜線の新横浜～日吉が開通した。これにより、相鉄沿線から東急を経由して都心に至るネットワークが形成されたことになる。注意深いフォロワーの皆様はお気づきかもしれないが、これを見

この記事は言語実装 Advent Calendar 2022の23日目の記事です。 導入 2021年、私は llrl という自作プログラミング言語のセルフホスティングに取り組みました。 セルフホスティングには成功し、生成された処理系の実行ファイルのバイナリが完全一致するところまで辿り着きましたが、この言語処理系のバックエンドは「LLVMを使う」で終わっていたので、バックエンドの実装にもっと目を向けたいと思いました。そこで2022年は、この言語処理系に 新たにx86_64を直接ターゲットとするバックエンドを追加し、LLVMを用いずにセルフホスティングできるようにしました。 本記事はこの取り組みの振り返りとなります。 自作プログラミング言語の特徴とバックエンドの要件 llrlには大きな特徴が2つあります。 Hindley-Milnerベースの型推論による静的型付け (+型クラス) Lisp-l

はじめに 私が個人で昨年の 6 月ごろから開発している関数型プログラミング言語を紹介する。言語の名前は「Plato」である。 この言語は昨年の U22 プログラミングコンテスト最終発表会でも発表した。コンテスト後、コンパイラの構成と実装に関して調査し直して、コードを一から書き直した。コンパイラは Haskell で書かれているため、本稿の内容も Haskell の知識をベースとしている。また、型理論の知識もある程度求められる。ただ、大雑把に書いているため、大雑把に読めばよく、このブログの読解に正確さは必要無い。 このブログでは、まず Plato のチュートリアルを示し、実際に何ができるのかを説明する。次に型検査や中間言語の仕様などコンパイラの実装手法を大まかに説明する。最後に今後実現したい機能などについて述べる。理論的に面白いものや有用な機能については、後日それ専用の記事を書く予定。 チュ

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

専門家が執筆した数理最適化の書籍を紹介しています． 適当に書籍を並べただけですので内容については各自で確認をお願いします． 数理最適化全般 数理最適化の概観を知りたい人向け 穴井宏和，数理最適化の実践ガイド，講談社，2013． 数理最適化を現実問題の解決に活用するプロセスを知りたい人向け 岩永二郎，石原響太，西村直樹，田中一樹，Pythonではじめる数理最適化（第2版） ―ケーススタディでモデリングのスキルを身につけよう―，オーム社，2024． 三好大悟，Excelで手を動かしながら学ぶ数理最適化：ベストな意思決定を導く技術，インプレス，2023． 株式会社ビープラウド，PyQチーム，斎藤努，Pythonで学ぶ数理最適化による問題解決入門，翔泳社，2024． 数理最適化を初めて学ぶ人が手に取る入門書 福島雅夫，新版 数理計画入門，朝倉書店，2011． 久野誉人，繁野麻衣子，後藤順哉，数理最

本カレンダーは、Qiita Top Contributor の @Yametaro さんからのお題です。 みなさまの素敵な記事をお待ちしています。 ある日、コードレビュー中ワイ ワイ「さぁ、今日も同僚のコードをレビューしていくでぇ」 ワイ「まずは新卒のT君のコードを読んでいこか」 ワイ「どれどれ…」 ワイ「ん？なんやこの??っていう書き方は…？」 ワイ「ググってみよか…」 ワイ「JavaScript ??と入力して、検索ボタンをポチッとな」 ワイ「…あれ？それらしい検索結果が出てこんな…」 ワイ「ぐぬぬ、記号関係はググりづらいこともあるんやな…」 ワイ「これじゃあ今日はもう、酒飲んで寝るしかないやないか…」 〜飲酒、そして就寝へ…〜 プログラミング、たまにググりづらい 記号以外にも「なんか上手いことググれへんなぁ」ってこと、たまにあると思います。 ということで「ググって解決しづらかったこと

本カレンダーは、Qiita Top Contributor の @drken さんからのお題です。 みなさまの素敵な記事をお待ちしています。 今回のお題 みなさんが競技プログラミングを始めたときに「こんなことが知りたかった！」と思うことを書いてください。 特定のアルゴリズムをわかりやすく解説するのもよし、コンテストに参加する心構えを説くのもよし。 自由に書いていただければと思います！ プレゼント内容 LGTM賞（1名様）：Qiitanぬいぐるみ1体 投稿された記事の中で、最もLGTM数が多かった記事の投稿者に贈られます。 Top Contributor賞（1名様）：Qiitanぬいぐるみ1体 以下の観点から、@drken さんが選んだ記事の投稿者に贈られます。 初心者目線での説明のわかりやすさ 説明の仕方のオリジナリティ。 必ずしも新たな知見を含まない内容でも大丈夫です。 むしろみんなが知

クソアプリアドベントカレンダー 7回目の開催です。随分と歴史が長くなってきました。 今年も役に立たない、世の中に貢献しないアプリとかサービスを出しあって遊ぼうぜ！ 年末のお祭りに乗っかってラフに開発を楽しみましょう！ 下記レギュレーションをよくお読みの上ご参加ください。 ・クソアプリアドベントカレンダー2021のために新規で何らかの作品や機能を作成してください。 ・既存のサービスやアプリを持ち出す場合は、クソアプリアドベントカレンダー2021のためのバージョンアップなど新規の開発部分があることを条件とします。既存作品の紹介だけという形の記事はご遠慮ください。 ・アドベントカレンダーに出す対象は自作の作品であることが条件です。 ・どんな内容のものでも構いません。それこそ下ネタでも大いに結構ですが、個人や特定の組織などを誹謗・中傷や名誉を害するようなものは投稿しないでください。 ・カレンダーの

本番環境でやらかしちゃった人のアドベントカレンダーです。 2019 https://qiita.com/advent-calendar/2019/yarakashi-production 2020 https://qiita.com/advent-calendar/2020/yarakashi-production 例） 本番DB吹き飛ばした 本番サーバをデストロイした ネットワーク設定をミスって本番サーバにアクセス出来なくなり、サーバが世界から孤立した などなど... 以下の２点については必須項目なので、記述お願いします。 惨劇はなぜおこってしまったのか 二度と惨劇を起こさないためにどうしたのか もう二度とあの惨劇を繰り返さないために、みなで知見を共有しましょう。

Background: I have PDF's I am programmatically generating. I need to be able to send the PDF directly to a printer from the server (not through an intermediate application). At the moment I can do all of the above (generate PDF, send to printer), but because the fonts aren't embedded in the PDF the printer is doing font substitution. Why the fonts aren't embedded when generated: I am creating PDF'

Laravelでドメイン駆動設計(DDD)を実践し、Eloquent Model依存の設計から脱却するPHPLaravelDDDドメイン駆動設計Eloquent この記事はドメイン駆動設計#1 Advent Calendar 2019の 10 日目の記事です。 2020/12/17追記 以下に続編を書きました！ LaravelにDDDを導入して1年経った所感(達成したこと / 課題点 / モデリングの難しさなど) やったこと 自社サイトのバックエンドを Laravel で実装して半年間が経ち、初期に考えた設計にいろいろと綻びが出てきたと感じていました。 そんな中、ちょうど実践ドメイン駆動設計や Web+DB Press で特集された体験 DDD を読むことができたので、さっそくいくつかの機能を DDD で実装してみました。 本記事では「もともと Laravel で実践していたEloquen