サンセリフ

スケマティック系〈schematic system〉というものを考えているのですが、そのために（たぶん）必要なことを順不同で書いていきます。ひとつの節でひとつのトピックを扱います。節から節へ、ゆるい流れはありますが、節と節とのあいだに強い関係性はないです。備忘メモです。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\msf}[1]{\mathsf{#1}} %\newcommand{\twoto}{\Rightarrow } \newcommand{\In}{\text{ i…

この記事内では、「型」と「集合」は同義語です。つまり、sets-as-types の立場をとります*1。集合〈型〉のファミリー〈族〉があったとき、それからシグマ型とパイ型を構成できます。この構成は、次のような写像を与えます。$`\quad \sum, \prod: |{\bf Fam}| \to |{\bf Set}|`$これは、ファミリーの圏の対象に集合圏の対象を対応させます。$`\sum, \prod`$ は、対象類（「類」は小さくないかも知れない集合）のあいだの写像ですが、関手にはなってません。関手に仕立てることはできるでしょうか？ -- この問〈とい〉について考えてみます。この記事では…

こんにちは！ちょこです！ このブログでは「ゲームUIを見てみよう！」というテーマでゲームUIを紹介しています。少しでもゲームUIに興味を持ってくれる方が増えると嬉しいです！ 今回は「勝利の女神：NIKKE」（以降、ニケ）でのフォントの使われ方をご紹介します。「ニケ」はスタイリッシュな画面作りを心掛けているように見えました。その中でもフォントが果たしている役割が多いように感じたため紹介します。以下、主な特徴です。 サンセリフ体の大文字が中心 長体が多く使われている 「ミリタリー×SF×女性」で分類&使用フォント ミリタリー：Spaceeland Eight SF：Industry 女性：Azon…

主に小学校の広報誌向けのフリーフォントをご紹介します。フリーフォントには無料であらゆる文字を出せるものもありますが、一部のみというものもあります。正規版を買うことですべての文字を出せるということも多いです。フリーといえども用途により使えないこともありますので、ダウンロードの際は各配布サイトの利用規約をよくお読みください。 ここでは見出しや飾りで使えるフリーフォントをご紹介します。 本文におすすめのフォントはこちら azaliee.hatenablog.com やさしさゴシックボールド やさしさゴシックボールドダウンロード | フォントな やさしさゴシック手書き やさしさゴシックダウンロード |…

おしゃれで読みやすい人気のブログにする方法 こんにちは、シンプルライフナビです。 この記事にたどり着いた人は、次のような悩みや思いがあるのでは。 おしゃれなブログ・サイトにして、人気のある個性的なブログにしたい！ はてなブログを おしゃれにするにはどうしたらいいの？ インターネットで検索すると、おしゃれなサイトにするための解説記事がでてくるけど、断片的でわかりにくい ブログの文字が読みにくい場合、フォントや大きさ、行間を変更できるの？ そんなあなたの気持ちに答えられるよう、おしゃれで読みやすい人気ブログを分析して、「ブログをおしゃれなサイトに見せるコツ」をまとめました。 このブログは、はてなブ…

以下の記事でヘッダーメニューをChatGPTを利用して作成する方法を記載しました。 その中でヘッダーに追記するCSSを載せていますが、各行ごとの設定内容について 解説していきたいと思います。 以前の記事 nagarami-kurokiri.hatenablog.com どうせならCSSの内容を理解して応用できるようにしたいよね 本記事の概要 ・はてなブログでヘッダーメニューを表示するCSSの内容を解説・フォントや背景色、サイズなどを変えたい人は必見・サクッと対話形式を実装したい人はこちらの記事を見てね！・今回はCSSを上からある程度の行数ごとに説明を入れていくので、一気に全文知りたい方も過去記…

フォントワークス創業30周年の記念ロゴ制定と30周年記念企画のスケジュールを発表 フォントワークス創業30周年 フォントワークス創業30周年記念ロゴ制定 「フォントワークス創業30周年」今後のリリーススケジュール 藤田重信氏書籍『筑紫書体と藤田重信』 「筑紫書体と藤田重信」Amazonでの購入はこちら 「筑紫書体と藤田重信」楽天市場での購入はこちら フォントワークス初オリジナル欧文「Yo One」 mojimo×フロップデザイン コラボレーション フォントワークス創業30周年の記念ロゴ制定と30周年記念企画のスケジュールを発表 フォントワークスは、2023年8月9日に創業30周年を迎えたことを…

こんにちは。 昨日分を公開する前に・・・ 寝落ちしてしまいました。（沈） あらためまして、昨日分です。 こんにちは。 今日も晴れました。 遂に、猛暑日が来たようで、、、 熱中症も増えているようで・・・。 危険な暑さは洒落にならないですね。 『BERLUTI』のランニングシューズタイプのスニーカーを取り上げています。 次はこちらです。 Berluti RUN TRACK 【7/15までSALE】■美品■Berluti ベルルッティ Run Track Torino ラントラックトリノ スニーカー 靴 サイズ7.5(25.5〜26.0cm相当) ブランド古着【中古】20221004/GL6837 …

タイププロジェクトが縦組みでも横組みでも安心して使える汎用性の高いオーソドックスなゴシック体「TPゴシック」の提供を開始 「TPゴシック」製品詳細 タイププロジェクトが縦組みでも横組みでも安心して使える汎用性の高いオーソドックスなゴシック体「TPゴシック」の提供を開始 タイププロジェクトは2023年6月5日に初となるゴシック体のフォント「TPゴシック」を発表、タイププロジェクトのサブスクリプションサービス「TPコネクト」にて提供を開始した。 「TPゴシック」は、TP明朝の仮名にちかい線質をもちながらもモダンに寄りすぎず、溌剌とした明るい表情をもつ縦組みでも横組みでも安心して使える汎用性の高いゴ…

型理論では、コンテキストが必ず出てきます。コンテキストをヘビーに使う割には、あらためて「コンテキストとは何か？」と聞かれると、うまく答えるのは難しいですね。返答に窮するのは、たぶん僕だけではないでしょう。型理論の圏論的定式化のひとつであるファミリー付き圏〈category with families | CwF〉でも、コンテキストという概念が出てきます。しかしこれは、実際に使っている具体的・構文的なコンテキストを抽象化・意味論化したもので、コンテキストとは単に“とある圏の対象”のことです。いわば、「ベクトルとは何か？」に「ベクトル空間（の台集合）の要素である」と答えるようなものです。ここでは、…

ランキング参加中自費出版無料でこれだけつかえるのグーグルの広告料収入すごい。 フォントみてるといろいろ。 ・女性向け雑誌タイトルロゴフォントだ。 ・アメリカ人女性の字だ。 ・ケーキの上に星形口金で絞り出した字。 ・タトゥーの字。 ・バーコードいっぱいある。 ・中国の活字、縦長で麻雀パイの字にみえる。 一応アドビから売ってもらったずっと小塚系つかってたけど。 和文 明朝系 Noto Serif Japanese - Google Fonts わりとふつうの明朝体。書類向け Shippori Mincho - Google Fonts しっぽり明朝は一部で有名。 Zen Old Mincho - …