• はてなブックマーク
  • テクノロジー
  • PPL 2022 招待講演： 静的型つき函数型組版処理システムSATySFiの紹介
  • Twitterでシェア
  • Facebookでシェア

PPL 2022 招待講演： 静的型つき函数型組版処理システムSATySFiの紹介

テクノロジー カテゴリーの変更を依頼 記事元:www.slideshare.net/bd_gfngfn
適切な情報に変更
42 usersがブックマーク コメント2



    ゲスト
    コメントするにはログインが必要です  ブックマークを追加  
    ブックマークを追加  



    ガイドラインをご確認の上、良識あるコメントにご協力ください

    0 / 0

    おすすめタグタグについて



    よく使うタグ









    PPL 2022 招待講演‥ 静的型つき函数型組版処理システムSATySFiの紹介  


    42 users   www.slideshare.net/bd_gfngfn  

    ガイドラインをご確認の上、良識あるコメントにご協力ください

    0 / 0

    おすすめタグタグについて



    よく使うタグ










    はてなブックマークで
    関心をシェアしよう


    みんなの興味と感想が集まることで
    新しい発見や、深堀りがもっと楽しく
      ユーザー登録  
    アカウントをお持ちの方はログインページへ
      







    記事へのコメント2件





    ●注目コメント
    ●新着コメント
      









    ponpon_qonqon
    ponpon_qonqon  かつてTeXの会社︵某︶にいたからはっきり言っておくが、もう組版処理システムで人類の時間を無駄にするのはやめるべき。21世紀までこんなことをやっているのはまさに戦争に次ぐ愚行  



    2022/03/10   リンク  





    その他


    ●    
    ●    
    ●
      








    cartman0
    cartman0  関数型言語のTexぽい  



    2022/03/10   リンク  





    その他


    ●    
    ●    
    ●
      









     





    ゲスト
    コメントするにはログインが必要です  ログインしてコメント  

     

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の﹁建設的コメント順位付けモデルAPI﹂を使用しています
      


     

    リンクを埋め込む


    以下のコードをコピーしてサイトに埋め込むことができます
      
    プレビュー





    はてなブックマークボタンを作成して埋め込むこともできます
      
    閉じる

    規約違反を報告  

    アプリのスクリーンショット

    いまの話題をアプリでチェック！  

    ●バナー広告なし
    ●ミュート機能あり
    ●ダークモード搭載
      
     アプリをダウンロード  








    関連記事






    usersに達しました！


    さんが1番目にブックマークした記事﹁PPL 2022 招待講演...﹂が注目されています。
    気持ちをシェアしよう
              





    ●tex
    ●言語
    ●あとで読む
    ●プログラミング
      

    ブックマークしたユーザー



    ● techtech05212024/05/12   techtech0521

    ● utgwkk2022/05/13   utgwkk

    ● lunastera2022/03/15   lunastera

    ● odan32402022/03/11   odan3240

    ● slay-t2022/03/11   slay-t

    ● t_otoda2022/03/11   t_otoda

    ● dhesusan46492022/03/11   dhesusan4649

    ● tacamula2022/03/11   tacamula

    ● advblog2022/03/11   advblog

    ● en-en-ra2022/03/11   en-en-ra

    ● yamori04082022/03/11   yamori0408

    ● zu22022/03/10   zu2

    ● mstk_knife2022/03/10   mstk_knife

    ● toshikish2022/03/10   toshikish

    ● machupicchubeta2022/03/10   machupicchubeta

    ● xef2022/03/10   xef

    ● nanakoso2022/03/10   nanakoso

    ● inuda_one2022/03/10   inuda_one


     すべてのユーザーの
    詳細を表示します  


    ブックマークしたすべてのユーザー

















    同じサイトの新着





    多段階計算の型システムの基礎


    6 userswww.slideshare.net/bd_gfngfn
      




    レコード計算の多相型システムと型推論


    4 userswww.slideshare.net/bd_gfngfn
      




    TeX言語の展開制御による文書の構造化︵TeXユーザの集い2014︶


    3 userswww.slideshare.net/bd_gfngfn
      



    同じサイトの新着をもっと読む  

    いま人気の記事





    ︻独自︼全国35カ所の国立公園に高級リゾートホテル誘致、岸田総理が表明へ｜テレ東BIZ︵テレビ東京ビジネスオンデマンド︶


    315 userstxbiz.tv-tokyo.co.jp
      




    歌詞の意味はよく分からないけどテンションが上がる曲


    169 usersanond.hatelabo.jp
      




    なぜヤンキーは車高の低いクルマに乗りたがるのか？→専門家の考察が目からウロコだった！


    290 usersdiamond.jp
      




    復活してほしいゲームIP


    454 usersanond.hatelabo.jp
      



    いま人気の記事をもっと読む  

    いま人気の記事 - テクノロジー





    二酸化炭素と水だけでバターを作り出すことにビル・ゲイツが投資するスタートアップが成功、牛乳や肉なども製造可


    78 usersgigazine.net
      




    OpenAI Japan のインタビューの体験が残念だった件


    77 usersanond.hatelabo.jp
      




    IIJが﹁特製LANケーブル﹂を一般販売　自社のデータセンターでも使っている“プロ仕様”


    147 userswww.itmedia.co.jp
      




    Platform Engineeringの功罪 in DMM


    106 usersspeakerdeck.com/hilenet
      



    いま人気の記事 - テクノロジーをもっと読む  

    新着記事 - テクノロジー





    徳丸さん、こんにちは。 読売のような大手メディアのサイトでもサポート詐欺の偽警告が表示されるようになってしまいましたし、今の時代は広告ブロッカーが必須と考えたほうが安全なのでしょうか？ | mond


    6 usersmond.how
      




    Google、URL短縮サービス﹁goo.gl﹂を2025年8月に完全終了へ


    8 userswww.itmedia.co.jp
      




    t-wada氏に聞く、テストを書き始めるための﹁はじめの一歩﹂ レバテックラボ︵レバテックLAB︶


    18 userslevtech.jp
      




    OpenAI Japan のインタビューの体験が残念だった件


    78 usersanond.hatelabo.jp
      



    新着記事 - テクノロジーをもっと読む  



    同時期にブックマークされた記事





    ︻パリコレ︼シャネルはフラフープ | 富裕層の最上級を刺激する ﹁ゆかしメディア﹂


    1 usermedia.yucasee.jp
      




    おいしい春キャベツは、重い？軽い？


    1 userweathernews.jp
      




    OPECどちらにつくか、ロシア原油禁輸で選択の時


    1 userjp.wsj.com
      











     



    はてなブックマーク




    ●総合
    ●一般
    ●世の中
    ●政治と経済
    ●暮らし
    ●学び
      

    ●テクノロジー
    ●エンタメ
    ●アニメとゲーム
    ●おもしろ
      

    ●アプリ・拡張機能
    ●開発ブログ
    ●ヘルプ
    ●お問い合わせ
    ●ガイドライン
    ●利用規約
    ●プライバシーポリシー
    ●利用者情報の外部送信について
      

    ●ガイドライン
    ●利用規約
    ●プライバシーポリシー
    ●利用者情報の外部送信について
      


    公式Twitter




    ●公式アカウント
    ●ホットエントリー
      


    はてなのサービス



    ●はてなブログ
    ●はてなブログPro
    ●人力検索はてな
    ●はてなブログ タグ
    ●はてなニュース
    ●ソレドコ
      





    App Storeからダウンロード
    Google Playで手に入れよう


    Copyright © 2005-2024 Hatena. All Rights Reserved.
      




    設定を変更しましたx