Changes between Version 5 and Version 6 of ThesesForDegrees.ja


Ignore:
Timestamp:
06/11/09 23:53:11 (15 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ThesesForDegrees.ja

    v5 v6  
    1313 * Formal Verification of Low-level Software[[br]] 
    1414 低レベルソフトウェアの形式的な証明[[br]] 
    15  ([/~nicolas/ マーティ　ニコラ]) 
     15 ([/~nicolas/ マーティ ニコラ]) 
    1616 
    1717== 2005 == 
    … …  
    360360= 学士論文 = #senior 
    361361== 2008 == 
    362  * Realizing Fairness in StackThreads/MP Scheme 
     362 * Realizing Fairness in !StackThreads/MP Scheme 
    363363[[br]] 
    364  StackThreads/MP への公平性の導入[[br]] 
     364 !StackThreads/MP への公平性の導入[[br]] 
    365365 ([/~uemura/  
    366366植村 圭一朗])