# Academia Sinica IIS - Intern Note <!-- - 分為學習和日記兩部分做紀錄 --> ## Learning - [Academia Sinica IIS Intern [Learning] - Program Verification](/omv93WvKRUWnq6lUa9AIsg) - [Academia Sinica IIS Intern [Learning] - Hoare Logic](/1ZlKSNijQCyJyf-gnCGjKQ) - [Academia Sinica IIS Intern [Learning] - Z3](/YIDiWETPRPG4EBoV4uTmjw) - [Academia Sinica IIS Intern [Learning] - CryptoLine](/tCNMWzNhQleOWtHmMwgE4w) - [Academia Sinica IIS intern [Learning] - Intermediate Representation](/CpCgfOjaRrOZmK9GHwLoJQ) <!-- ## Diary - [Academia Sinica IIS Intern [Diary] - 2024/07/01](/qXB3uGBYRKacXVFFFcIQxw) - [Academia Sinica IIS Intern [Diary] - 2024/07/02](/sfl2AiQPSVCttE5-vCFNag) - [Academia Sinica IIS Intern [Diary] - 2024/07/09](/BLd5UlYYT2um5Xd7-b7UnA) - [Academia Sinica IIS Intern [Diary] - 2024/07/12](/vF1FRzu0QzC9YXcQXanH3Q) - [Academia Sinica IIS Intern [Diary] - 2024/07/19](/5auOGQbcS7Sq47ga79X4vQ) - [Academia Sinica IIS Intern [Diary] - 2024/07/26](/gWM-o2YpR4uRIL_0OsBcZw) - [Academia Sinica IIS Intern [Diary] - 2024/07/31](/gP2AvWKVQEGUfKF0C3p0Ig) -->
{"title":"Academia Sinica IIS - Intern Note","description":"===","contributors":"[{\"id\":\"1754cba0-49a0-45ad-8ded-e463fa059044\",\"add\":1365,\"del\":302,\"latestUpdatedAt\":null}]"}
Expand menu