[B! 情報学] yudukikun5120のブックマーク

yudukikun5120 id:yudukikun5120

情報学に関するyudukikun5120のブックマーク (3)

Curry–Howard correspondence - Wikipedia
3.1 Intuitionistic Hilbert-style deduction systems and typed combinatory logic
yudukikun5120 2024/10/30
情報学
リンク
情報・システム研究機構【大学共同利用機関】
お知らせ 2024.09.10 機構本部本部事務局本部事務部総務課　事務補佐員（有期雇用職員）募集（2024年11月1日以降採用）※締切りを延長しました 2024.09.09 機構本部 Ling Liu教授講演会を開催しました 2024.09.04 機構本部国立情報学研究所柏分館２階空調設備増設工事入札公告 2024.09.03 機構本部立川管理室事務補佐員（短時間雇用職員）募集（2024年11月1日以降採用）※締切りを延長しました 2024.08.23 機構本部医療データ基盤ストレージシステム一式入札公告 2024.08.06 機構本部医療用大規模言語モデルの研究開発のためのGPUクラウドサービス一式入札公告 2024.08.05 機構本部立川管理室事務補佐員（短時間雇用職員）募集（2024年10月1日以降採用）※締切りを延長しました 2024.08.02
yudukikun5120 2023/07/18
研究

機構

情報学
リンク
音楽情報科学研究会
研究発表会の予定（詳しくはこちら）第137回研究会　2023年6月23,24日＠電気通信大学 [詳細] 第138回研究会（夏のシンポジウム） 2023年8月27(日), 28(月)＠明治大学 [プログラム]　[アクセスマップ] 第139回研究会　2024年3月9日(土), 10日(日)＠はこだて未来大学 "30周年記念イベント" --※元々3月1, 2日の開催でしたが諸事情により変更となりました [詳細] スポンサー募集本研究会の活動をご支援いただけるスポンサーを募集しています。 >>詳細シルバースポンサーロゴをクリックするとwebページが掲載されます
yudukikun5120 2023/07/07
音楽

学会

情報学
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx