From 19c045d9e162874c18c1368aef3b69fb4fdcda7e Mon Sep 17 00:00:00 2001 From: cannorin Date: Sun, 16 Mar 2025 21:46:16 +0900 Subject: [PATCH] Add /math --- apps/web/src/routes/(main)/+page.svelte | 2 +- apps/web/src/routes/(main)/dev/+page.svelte | 24 +- .../src/routes/(main)/math/+page.server.ts | 15 + apps/web/src/routes/(main)/math/+page.svelte | 317 ++++++++++++++++++ apps/web/src/routes/(main)/music/+page.svelte | 9 +- turbo.json | 2 +- 6 files changed, 351 insertions(+), 18 deletions(-) create mode 100644 apps/web/src/routes/(main)/math/+page.server.ts create mode 100644 apps/web/src/routes/(main)/math/+page.svelte diff --git a/apps/web/src/routes/(main)/+page.svelte b/apps/web/src/routes/(main)/+page.svelte index 5b1671f..cd010a1 100644 --- a/apps/web/src/routes/(main)/+page.svelte +++ b/apps/web/src/routes/(main)/+page.svelte @@ -38,7 +38,7 @@ export const snapshot: Snapshot = { - +
diff --git a/apps/web/src/routes/(main)/dev/+page.svelte b/apps/web/src/routes/(main)/dev/+page.svelte index c21054d..f02936a 100644 --- a/apps/web/src/routes/(main)/dev/+page.svelte +++ b/apps/web/src/routes/(main)/dev/+page.svelte @@ -12,7 +12,7 @@ import Card from "./card.svelte"; -
+

何でも屋気味なフルスタックエンジニアです。

@@ -69,17 +69,19 @@ import Card from "./card.svelte"; -

連絡先

-
    -
  • チューターやバグ修正など、カジュアルな案件は GitHub Sponsors をご利用ください。
    • -
  • - ウェブサイト構築など、大規模な案件についてのご連絡は Keybase, - Discord, - または contact@cannorin.net までお願いします。 -
    • -
  • なお、現在特に転職の予定はありません。
    • -
+
+

連絡先

+
    +
  • チューターやバグ修正など、カジュアルな案件は GitHub Sponsors をご利用ください。
    • +
  • + ウェブサイト構築など、大規模な案件についてのご連絡は Keybase, + Discord, + または contact@cannorin.net までお願いします。 +
    • +
  • なお、現在特に転職の予定はありません。
    • +
+
Back diff --git a/apps/web/src/routes/(main)/math/+page.server.ts b/apps/web/src/routes/(main)/math/+page.server.ts new file mode 100644 index 0000000..7faabcb --- /dev/null +++ b/apps/web/src/routes/(main)/math/+page.server.ts @@ -0,0 +1,15 @@ +import type { SeoProps } from "$components/seo"; + +export async function load() { + return { + seo: { + title: "Graduate Student - cannorin.net", + openGraph: { + title: "Graduate Student - cannorin.net", + }, + twitter: { + title: "Graduate Student - cannorin.net", + }, + } as SeoProps, + }; +} diff --git a/apps/web/src/routes/(main)/math/+page.svelte b/apps/web/src/routes/(main)/math/+page.svelte new file mode 100644 index 0000000..0224402 --- /dev/null +++ b/apps/web/src/routes/(main)/math/+page.svelte @@ -0,0 +1,317 @@ + + +{#snippet paperArticle(paper: Paper)} + +{/snippet} + +{#snippet talkArticle(talk: Talk)} +
+
+ {talk.title} +
+

+ {talk.talkers.join(", ")}. + + {#if talk.conference.url} + + {talk.conference.name} + + {:else} + {talk.conference.name} + {/if}, + + + {talk.location}, + + + {#if talk.slide} + + [slide] + + {/if} +

+{/snippet} + +
+
+

自己紹介

+ + + +
+

+ 数理論理学を勉強しています。 + 非古典論理、そのなかでも特に様相論理を主な対象として、論理のもちうる様々な性質について研究しています。 +

+

+ また今後の目標として、研究で扱っている各種論理のコンピュータサイエンスへの応用も視野に入れています。 +

+ +

現在の研究内容

+ +
    +
  • + + 非正規様相論理 と、その拡張に関する研究 + +
      +
    • + は様相論理 から公理 を取り除いて得られる非正規様相論理で、 + "the pure logic of necessitation" ともよばれています。 + 最近になって注目されるようになった論理で、まだわかっていない性質が多数あります。 +
      • +
    • + 正規様相論理に対しては、一般にどういう形の公理を加えた拡張がどのような性質を持つのか、昔からよく調べられています。 + についても同様の結果を得ることを目的として、 + 公理 を加えて得られる拡張について、各種性質を調べています。 +
      • +
    +
    • +
  • + + 直観主義様相論理に関する研究 + +
      +
    • + コンピュータサイエンス、特にプログラム言語へと広く応用できるものとして、直観主義様相論理があります。 + 古典論理上で展開される通常の様相論理とは異なる振る舞いをし、古典版の様相論理では解決済でも、直観主義版では未解決な問題が多いです。 + コンピュータサイエンス以外にも多数の応用があることもあいまって、現在も活発に基礎研究がなされています。 +
      • +
    • + 現在は既存論文のサーベイを中心に行い、知識を深めています。 + また上で述べた非正規様相論理 についても、その直観主義版を調べています。 +
      • +
    +
    • +
  • + + 正規様相論理に関する研究 + +
      +
    • + 古くからよく研究され続けている正規様相論理ですが、重要な未解決問題がまだいくつか残っています。 + 例えば の有限フレーム性は長年未解決のままであり、 + この問題の進展、そして解決を研究生活上の究極的な目標としています。 +
      • +
    +
    • +
+ +
+

論文・発表等

+ +

査読論文

+ +
    + {#each papers as paper} + {#if isAccepted(paper)} +
  1. + {@render paperArticle(paper)} +
    2. + {/if} + {/each} +
+ +

プレプリント

+ +
    + {#each papers as paper} + {#if !isAccepted(paper)} +
  1. + {@render paperArticle(paper)} +
    2. + {/if} + {/each} +
+ +

口頭発表

+ +
    + {#each talks as talk} +
  1. + {@render talkArticle(talk)} +
    2. + {/each} +
+
+ +
+

連絡先

+
+

+ 〒657-8501 神戸市灘区六甲台町1-1 +

+

+ 神戸大学大学院 システム情報学研究科 情報数理研究室 +

+

+ Email: 231x032x@gsuite.kobe-u.ac.jp +

+
+
+ + + Back + +
+
+
+ + diff --git a/apps/web/src/routes/(main)/music/+page.svelte b/apps/web/src/routes/(main)/music/+page.svelte index 27037c0..6c7145a 100644 --- a/apps/web/src/routes/(main)/music/+page.svelte +++ b/apps/web/src/routes/(main)/music/+page.svelte @@ -12,7 +12,7 @@ import Card from "./card.svelte"; -
+

ブレイクビーツと高速四つ打ちを中心に、統一感と説得力のあるマルチジャンルプレイをする DJ です。

以下のような雰囲気の DJ が得意です。

@@ -97,14 +97,13 @@ import Card from "./card.svelte"; -

連絡先

- -

+

+

連絡先

ブッキングや音楽制作などのご連絡は Discord, Twitter (X), または contact@cannorin.net までお願いします。 -

+
Back diff --git a/turbo.json b/turbo.json index 8bd15ac..6b8b6f2 100644 --- a/turbo.json +++ b/turbo.json @@ -3,7 +3,7 @@ "tasks": { "build": { "dependsOn": ["^build"], - "inputs": ["$TURBO_DEFAULT", ".env*"], + "inputs": ["$TURBO_DEFAULT", ".env*", "**/src/*"], "outputs": [".svelte-kit/**"] }, "lint": {