https://jjppp.github.io/portfolio/portfolio-1/ https://jjppp.github.io/portfolio/portfolio-2/ https://jjppp.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+00:00 https://jjppp.github.io/posts/2020/10/2020-ICPC-%E5%B0%8F%E7%B1%B3%E9%82%80%E8%AF%B7%E8%B5%9B-%E9%83%A8%E5%88%86%E9%A2%98%E8%A7%A3/ 2020-10-26T00:00:00+00:00 https://jjppp.github.io/posts/2020/10/Hello-World/ 2020-10-26T00:00:00+00:00 https://jjppp.github.io/posts/2020/10/%E6%9C%89%E5%85%B3%E9%9B%86%E5%90%88%E5%A4%A7%E5%B0%8F%E7%9A%84%E6%AF%94%E8%BE%83/ 2020-10-28T00:00:00+00:00 https://jjppp.github.io/posts/2020/11/%E5%87%A0%E4%B8%AA%E5%85%B3%E4%BA%8E%E9%9B%86%E5%90%88%E7%9A%84%E6%9C%89%E8%B6%A3%E8%AF%81%E6%98%8E/ 2020-11-23T00:00:00+00:00 https://jjppp.github.io/posts/2020/12/Compiler01-Introduction/ 2020-12-26T00:00:00+00:00 https://jjppp.github.io/posts/2021/01/Calculus01-%E5%AE%9E%E6%95%B0%E5%AE%8C%E5%A4%87%E6%80%A7%E7%9A%84%E5%85%AD%E4%B8%AA%E5%AE%9A%E7%90%86/ 2021-01-01T00:00:00+00:00 https://jjppp.github.io/posts/2021/01/ICS-Intro01/ 2021-01-06T00:00:00+00:00 https://jjppp.github.io/posts/2021/01/ICS-Intro02/ 2021-01-06T00:00:00+00:00 https://jjppp.github.io/posts/2021/01/ICS-Intro03/ 2021-01-06T00:00:00+00:00 https://jjppp.github.io/posts/2021/01/CSAPP%E5%AE%9E%E9%AA%8C01-datalab/ 2021-01-14T00:00:00+00:00 https://jjppp.github.io/posts/2021/01/CSAPP%E5%AE%9E%E9%AA%8C02-bomblab/ 2021-01-24T00:00:00+00:00 https://jjppp.github.io/posts/2021/02/CSAPP%E5%AE%9E%E9%AA%8C03-attacklab/ 2021-02-04T00:00:00+00:00 https://jjppp.github.io/posts/2021/02/%E5%8D%8A%E9%9F%B3%E9%98%B6%E5%8F%A3%E7%90%B4%E8%B0%B1%E5%90%88%E8%BE%91/ 2021-02-14T00:00:00+00:00 https://jjppp.github.io/posts/2021/02/CSAPP%E5%AE%9E%E9%AA%8C04-archlab/ 2021-02-17T00:00:00+00:00 https://jjppp.github.io/posts/2021/02/%E5%A4%A7%E4%B8%80%E4%B8%8A%E5%AD%98%E6%B4%BB%E7%BB%8F%E9%AA%8C/ 2021-02-19T00:00:00+00:00 https://jjppp.github.io/posts/2021/03/CSAPP%E5%AE%9E%E9%AA%8C05-cachelab/ 2021-03-07T00:00:00+00:00 https://jjppp.github.io/posts/2021/04/CSAPP%E5%AE%9E%E9%AA%8C06-shlab/ 2021-04-21T00:00:00+00:00 https://jjppp.github.io/posts/2021/04/Graph02-%E5%8C%B9%E9%85%8D/ 2021-04-30T00:00:00+00:00 https://jjppp.github.io/posts/2021/05/ICPC-2021-%E9%93%B6%E5%B7%9D%E5%88%92%E6%B0%B4%E8%AE%B0/ 2021-05-17T00:00:00+00:00 https://jjppp.github.io/posts/2021/05/DS01-%E6%90%9C%E7%B4%A2%E6%A0%91/ 2021-05-29T00:00:00+00:00 https://jjppp.github.io/posts/2021/06/Graph01-%E5%9F%BA%E6%9C%AC%E6%A6%82%E5%BF%B5-%E5%AE%9A%E4%B9%89/ 2021-06-01T00:00:00+00:00 https://jjppp.github.io/posts/2021/06/Graph03-%E6%9F%93%E8%89%B2/ 2021-06-04T00:00:00+00:00 https://jjppp.github.io/posts/2021/06/SPA01-Intro/ 2021-06-11T00:00:00+00:00 https://jjppp.github.io/posts/2021/06/SPA02-IR/ 2021-06-11T00:00:00+00:00 https://jjppp.github.io/posts/2021/06/SPA03-DFA/ 2021-06-11T00:00:00+00:00 https://jjppp.github.io/posts/2021/07/Graph04-%E5%B9%B3%E9%9D%A2%E5%9B%BE%E4%B8%8E%E5%8F%AF%E5%B9%B3%E9%9D%A2%E5%9B%BE/ 2021-07-03T00:00:00+00:00 https://jjppp.github.io/posts/2021/07/%E9%9B%86%E8%AE%AD%E8%A1%A5%E9%A2%98%E5%90%88%E9%9B%86/ 2021-07-17T00:00:00+00:00 https://jjppp.github.io/posts/2021/08/%E5%A4%A7%E4%B8%80%E4%B8%8B%E5%AD%98%E6%B4%BB%E7%BA%AA%E5%AE%9E/ 2021-08-02T00:00:00+00:00 https://jjppp.github.io/posts/2021/08/SPA04-CGC/ 2021-08-04T00:00:00+00:00 https://jjppp.github.io/posts/2021/08/SPA05-PA/ 2021-08-04T00:00:00+00:00 https://jjppp.github.io/posts/2021/08/SPA06-CSA/ 2021-08-08T00:00:00+00:00 https://jjppp.github.io/posts/2021/08/SPA07-Security/ 2021-08-08T00:00:00+00:00 https://jjppp.github.io/posts/2021/08/SPA08-Datalog/ 2021-08-13T00:00:00+00:00 https://jjppp.github.io/posts/2021/08/SPA09-CFL-R-IFDS/ 2021-08-13T00:00:00+00:00 https://jjppp.github.io/posts/2021/08/SPA10-Soundiness/ 2021-08-14T00:00:00+00:00 https://jjppp.github.io/posts/2021/08/DFA%E5%88%B0%E7%AD%89%E4%BB%B7%E6%AD%A3%E5%88%99%E8%A1%A8%E8%BE%BE%E5%BC%8F%E7%9A%84%E8%BD%AC%E5%8C%96/ 2021-08-20T00:00:00+00:00 https://jjppp.github.io/posts/2021/09/Compiler02-%E8%AF%8D%E6%B3%95%E5%88%86%E6%9E%90/ 2021-09-01T00:00:00+00:00 https://jjppp.github.io/posts/2021/09/Compiler03-%E8%AF%AD%E6%B3%95%E5%88%86%E6%9E%90/ 2021-09-01T00:00:00+00:00 https://jjppp.github.io/posts/2021/09/Crypto01-Intro/ 2021-09-02T00:00:00+00:00 https://jjppp.github.io/posts/2021/09/Semantics01-Intro/ 2021-09-09T00:00:00+00:00 https://jjppp.github.io/posts/2021/09/Semantics02-Math/ 2021-09-09T00:00:00+00:00 https://jjppp.github.io/posts/2021/09/Crypto02-Perfect/ 2021-09-15T00:00:00+00:00 https://jjppp.github.io/posts/2021/09/Semantics03-Lambda/ 2021-09-16T00:00:00+00:00 https://jjppp.github.io/posts/2021/09/Crypto03-Computational/ 2021-09-27T00:00:00+00:00 https://jjppp.github.io/posts/2021/10/Semantics04-Types/ 2021-10-05T00:00:00+00:00 https://jjppp.github.io/posts/2021/10/Crypto04-PRG-PRF/ 2021-10-19T00:00:00+00:00 https://jjppp.github.io/posts/2021/11/Semantics05-Semantics/ 2021-11-07T00:00:00+00:00 https://jjppp.github.io/posts/2021/12/PA1-%E9%99%84%E5%8A%A0%E5%85%B3%E5%8D%A1/ 2021-12-01T00:00:00+00:00 https://jjppp.github.io/posts/2021/12/PA2-%E9%99%84%E5%8A%A0%E5%85%B3%E5%8D%A1/ 2021-12-01T00:00:00+00:00 https://jjppp.github.io/posts/2021/12/PA3-%E9%99%84%E5%8A%A0%E5%85%B3%E5%8D%A1/ 2021-12-11T00:00:00+00:00 https://jjppp.github.io/posts/2021/12/Crypto05-MAC/ 2021-12-20T00:00:00+00:00 https://jjppp.github.io/posts/2021/12/Crypto06-HASH/ 2021-12-21T00:00:00+00:00 https://jjppp.github.io/posts/2021/12/Crypto07-OWF-HC/ 2021-12-21T00:00:00+00:00 https://jjppp.github.io/posts/2022/01/PA4-%E9%99%84%E5%8A%A0%E5%85%B3%E5%8D%A1/ 2022-01-11T00:00:00+00:00 https://jjppp.github.io/posts/2022/01/%E5%A4%A7%E4%BA%8C%E4%B8%8A%E8%BA%BA%E5%B9%B3%E7%BB%8F%E9%AA%8C/ 2022-01-11T00:00:00+00:00 https://jjppp.github.io/posts/2022/01/Logic01-%E5%91%BD%E9%A2%98%E9%80%BB%E8%BE%91/ 2022-01-20T00:00:00+00:00 https://jjppp.github.io/posts/2022/01/Logic02-%E6%8E%A8%E6%BC%94%E7%B3%BB%E7%BB%9F/ 2022-01-24T00:00:00+00:00 https://jjppp.github.io/posts/2022/02/Logic03-%E4%B8%80%E9%98%B6%E9%80%BB%E8%BE%91/ 2022-02-13T00:00:00+00:00 https://jjppp.github.io/posts/2022/03/Numerical01-%E5%87%BD%E6%95%B0%E6%B1%82%E6%A0%B9/ 2022-03-07T00:00:00+00:00 https://jjppp.github.io/posts/2022/03/Ubuntu%E4%B8%8B%E7%9A%84%E6%95%B0%E7%94%B5%E5%AE%9E%E9%AA%8C%E7%8E%AF%E5%A2%83%E9%85%8D%E7%BD%AE/ 2022-03-08T00:00:00+00:00 https://jjppp.github.io/posts/2022/03/%E5%8D%9A%E5%BC%88%E8%AE%BA01-%E7%AD%96%E7%95%A5%E6%B8%B8%E6%88%8F/ 2022-03-12T00:00:00+00:00 https://jjppp.github.io/posts/2022/05/Numerical02-%E6%8F%92%E5%80%BC%E4%B8%8E%E5%87%BD%E6%95%B0%E9%80%BC%E8%BF%91/ 2022-05-08T00:00:00+00:00 https://jjppp.github.io/posts/2022/05/Numerical03-%E7%BA%BF%E6%80%A7%E6%96%B9%E7%A8%8B%E7%BB%84%E6%B1%82%E8%A7%A3/ 2022-05-08T00:00:00+00:00 https://jjppp.github.io/posts/2022/05/Numerical04-%E5%9B%BE%E7%9A%84%E9%9A%8F%E6%9C%BA%E6%B8%B8%E8%B5%B0/ 2022-05-10T00:00:00+00:00 https://jjppp.github.io/posts/2022/05/Numerical05-%E5%9B%BE%E7%9A%84%E4%BB%A3%E6%95%B0%E6%80%A7%E8%B4%A8/ 2022-05-10T00:00:00+00:00 https://jjppp.github.io/posts/2022/05/OSLab1-pmm/ 2022-05-28T00:00:00+00:00 https://jjppp.github.io/posts/2022/05/OSLab2-kmt/ 2022-05-28T00:00:00+00:00 https://jjppp.github.io/posts/2022/06/%E5%8D%9A%E5%BC%88%E8%AE%BA02-%E9%9B%B6%E5%92%8C%E6%B8%B8%E6%88%8F/ 2022-06-09T00:00:00+00:00 https://jjppp.github.io/posts/2022/06/Numerical06-FFT/ 2022-06-14T00:00:00+00:00 https://jjppp.github.io/posts/2022/06/Numerical07-%E7%94%B5%E9%98%BB%E7%BD%91%E7%BB%9C/ 2022-06-15T00:00:00+00:00 https://jjppp.github.io/posts/2022/06/%E5%A4%A7%E4%BA%8C%E4%B8%8B%E6%91%B8%E9%B1%BC%E8%AE%B0%E5%BD%95/ 2022-06-20T00:00:00+00:00 https://jjppp.github.io/posts/2022/06/OSLab3-uproc/ 2022-06-23T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/ANTLR4-%E7%AC%94%E8%AE%B0/ 2022-07-02T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/OS01-%E5%AF%BC%E5%BC%95/ 2022-07-03T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/OS02-%E5%B9%B6%E5%8F%91/ 2022-07-03T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/OS03-%E5%86%85%E5%AD%98%E7%AE%A1%E7%90%86/ 2022-07-04T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/Algebra01-%E7%BE%A4%E7%9A%84%E5%AE%9A%E4%B9%89/ 2022-07-06T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/Algebra02-%E5%AD%90%E7%BE%A4%E5%92%8C%E5%95%86%E7%BE%A4/ 2022-07-06T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/Algebra03-%E5%90%8C%E6%80%81%E4%B8%8E%E5%90%8C%E6%9E%84/ 2022-07-09T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/OS04-%E8%BF%9B%E7%A8%8B%E4%B8%8E%E7%BA%BF%E7%A8%8B/ 2022-07-15T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/TAPL01-Intro/ 2022-07-16T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/TAPL02-Basics/ 2022-07-17T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/TAPL03-Untyped-Lambda/ 2022-07-23T00:00:00+00:00 https://jjppp.github.io/posts/2022/07/Haskell-Parser-Combinator/ 2022-07-26T00:00:00+00:00 https://jjppp.github.io/posts/2022/08/OS05-%E8%B0%83%E5%BA%A6/ 2022-08-03T00:00:00+00:00 https://jjppp.github.io/posts/2022/08/TAPL04-Typed-Lambda/ 2022-08-04T00:00:00+00:00 https://jjppp.github.io/posts/2022/08/TAPL05-Extensions/ 2022-08-09T00:00:00+00:00 https://jjppp.github.io/posts/2022/08/Network01-Intro/ 2022-08-14T00:00:00+00:00 https://jjppp.github.io/posts/2022/08/TAPL06-References/ 2022-08-27T00:00:00+00:00 https://jjppp.github.io/posts/2022/08/TAPL07-Exceptions/ 2022-08-28T00:00:00+00:00 https://jjppp.github.io/posts/2022/08/TAPL08-Subtyping/ 2022-08-28T00:00:00+00:00 https://jjppp.github.io/posts/2022/08/TAPL09-Recursive-Types/ 2022-08-29T00:00:00+00:00 https://jjppp.github.io/posts/2022/09/TAOMP01-Intro/ 2022-09-01T00:00:00+00:00 https://jjppp.github.io/posts/2022/09/TAOMP02-Mutex/ 2022-09-02T00:00:00+00:00 https://jjppp.github.io/posts/2022/09/Memory-Model/ 2022-09-07T00:00:00+00:00 https://jjppp.github.io/posts/2022/09/Network02-Application/ 2022-09-12T00:00:00+00:00 https://jjppp.github.io/posts/2022/09/Concurrency01-HMM/ 2022-09-25T00:00:00+00:00 https://jjppp.github.io/posts/2022/09/Concurrency02-Operational/ 2022-09-25T00:00:00+00:00 https://jjppp.github.io/posts/2022/09/Concurrency03-Axiomatic/ 2022-09-25T00:00:00+00:00 https://jjppp.github.io/posts/2022/10/Automata01-FSM/ 2022-10-04T00:00:00+00:00 https://jjppp.github.io/posts/2022/10/Network03-Transport/ 2022-10-16T00:00:00+00:00 https://jjppp.github.io/posts/2022/10/Linguistics01-Intro/ 2022-10-17T00:00:00+00:00 https://jjppp.github.io/posts/2022/10/Linguistics02-Phonetics/ 2022-10-17T00:00:00+00:00 https://jjppp.github.io/posts/2022/11/Concurrency04-Promising/ 2022-11-07T00:00:00+00:00 https://jjppp.github.io/posts/2022/11/Concurrency05-Linearizability/ 2022-11-07T00:00:00+00:00 https://jjppp.github.io/posts/2022/11/Automata02-RE/ 2022-11-09T00:00:00+00:00 https://jjppp.github.io/posts/2022/11/Automata03-CFL/ 2022-11-09T00:00:00+00:00 https://jjppp.github.io/posts/2022/11/Automata04-PDA/ 2022-11-09T00:00:00+00:00 https://jjppp.github.io/posts/2022/12/Automata05-TM/ 2022-12-07T00:00:00+00:00 https://jjppp.github.io/posts/2022/12/Automata06-Complexity/ 2022-12-08T00:00:00+00:00 https://jjppp.github.io/posts/2023/01/%E5%A4%A7%E4%B8%89%E4%B8%8A%E6%98%8F%E7%9D%A1%E6%97%A5%E5%BF%97/ 2023-01-03T00:00:00+00:00 https://jjppp.github.io/posts/2023/01/Network04-Network/ 2023-01-09T00:00:00+00:00 https://jjppp.github.io/posts/2023/01/CMU-DB-Lab/ 2023-01-10T00:00:00+00:00 https://jjppp.github.io/posts/2023/01/cmm-Design/ 2023-01-28T00:00:00+00:00 https://jjppp.github.io/posts/2023/02/Automata07-TS/ 2023-02-08T00:00:00+00:00 https://jjppp.github.io/posts/2023/02/Network05-Link/ 2023-02-15T00:00:00+00:00 https://jjppp.github.io/posts/2023/02/Network06-Wireless/ 2023-02-15T00:00:00+00:00 https://jjppp.github.io/posts/2023/03/Compiler04-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E7%BF%BB%E8%AF%91/ 2023-03-18T00:00:00+00:00 https://jjppp.github.io/posts/2023/06/LLHD-%E8%B8%A9%E5%9D%91%E8%AE%B0/ 2023-06-14T00:00:00+00:00 https://jjppp.github.io/posts/2023/08/%E5%A4%A7%E4%B8%89%E4%B8%8B%E8%8D%92%E5%94%90%E5%AE%9E%E5%BD%95/ 2023-08-03T00:00:00+00:00 https://jjppp.github.io/posts/2023/08/spa01-Type/ 2023-08-04T00:00:00+00:00 https://jjppp.github.io/posts/2023/08/SA02-lattice/ 2023-08-11T00:00:00+00:00 https://jjppp.github.io/posts/2023/08/Cpp-Lambda-Captures/ 2023-08-23T00:00:00+00:00 https://jjppp.github.io/posts/2023/11/SA03-narrowing-widening/ 2023-11-29T00:00:00+00:00 https://jjppp.github.io/posts/2023/12/A-subtle-bug-in-a-static-analysis-framework/ 2023-12-26T00:00:00+00:00 https://jjppp.github.io/posts/2023/12/Tour-de-SAT/ 2023-12-30T00:00:00+00:00 https://jjppp.github.io/posts/2024/01/SA04-Abstract-interpretation/ 2024-01-02T00:00:00+00:00 https://jjppp.github.io/posts/2024/01/DB01-Intro/ 2024-01-23T00:00:00+00:00 https://jjppp.github.io/posts/2024/01/DB02-Relational/ 2024-01-23T00:00:00+00:00 https://jjppp.github.io/posts/2024/01/%E6%B5%85%E8%B0%88Verilog%E4%B8%AD%E7%9A%84X/ 2024-01-30T00:00:00+00:00 https://jjppp.github.io/posts/2024/02/DB03-SQL/ 2024-02-05T00:00:00+00:00 https://jjppp.github.io/posts/2024/03/DB04-Storage/ 2024-03-01T00:00:00+00:00 https://jjppp.github.io/posts/2024/03/Futamura-Projections/ 2024-03-19T00:00:00+00:00 https://jjppp.github.io/posts/2024/04/DOM/ 2024-04-12T00:00:00+00:00 https://jjppp.github.io/posts/2025/03/%E6%88%91%E6%98%AF%E5%A6%82%E4%BD%95%E6%88%90%E4%B8%BATA%E7%9A%84/ 2025-03-15T00:00:00+00:00 https://jjppp.github.io/posts/2025/04/JVM-exception-handlers/ 2025-04-05T00:00:00+00:00 https://jjppp.github.io/publication/2009-10-01-paper-title-number-1 2009-10-01T00:00:00+00:00 https://jjppp.github.io/publication/2010-10-01-paper-title-number-2 2010-10-01T00:00:00+00:00 https://jjppp.github.io/publication/2015-10-01-paper-title-number-3 2015-10-01T00:00:00+00:00 https://jjppp.github.io/publication/2024-02-17-paper-title-number-4 2024-02-17T00:00:00+00:00 https://jjppp.github.io/publication/2024-02-17-paper-title-number-4 2024-02-17T00:00:00+00:00 https://jjppp.github.io/talks/2024-12-20-verilator 2024-12-20T00:00:00+00:00 https://jjppp.github.io/teaching/2024-fall-SICP 2024-09-01T00:00:00+00:00 https://jjppp.github.io/teaching/2025-fall-SICP 2025-09-01T00:00:00+00:00 https://jjppp.github.io/ https://jjppp.github.io/archive-layout-with-content/ https://jjppp.github.io/categories/ https://jjppp.github.io/collection-archive/ https://jjppp.github.io/cv-json/ https://jjppp.github.io/cv/ https://jjppp.github.io/markdown/ https://jjppp.github.io/non-menu-page/ https://jjppp.github.io/page-archive/ https://jjppp.github.io/portfolio/ https://jjppp.github.io/publications/ https://jjppp.github.io/sitemap/ https://jjppp.github.io/tags/ https://jjppp.github.io/talkmap.html https://jjppp.github.io/talks/ https://jjppp.github.io/teaching/ https://jjppp.github.io/terms/ https://jjppp.github.io/year-archive/ https://jjppp.github.io/markdown_generator/ https://jjppp.github.io/files/paper1.pdf 2026-04-19T12:41:13+00:00 https://jjppp.github.io/files/paper2.pdf 2026-04-19T12:41:13+00:00 https://jjppp.github.io/files/paper3.pdf 2026-04-19T12:41:13+00:00 https://jjppp.github.io/files/slides1.pdf 2026-04-19T12:41:13+00:00 https://jjppp.github.io/files/slides2.pdf 2026-04-19T12:41:13+00:00 https://jjppp.github.io/files/slides3.pdf 2026-04-19T12:41:13+00:00 https://jjppp.github.io/talkmap/map.html 2026-04-19T12:41:13+00:00