var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://tyasunao.github.io/pubs_en.bib\",\"jsonp\":\"1\",\"fullname\":\"1\",\"group0\":\"type\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"phdthesis\",\"type\":\"phdthesis\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]}],\"title\":\"Reducing Memory Allocations in Lazy Functional Programs\",\"school\":\"The University of Electro-Communications\",\"year\":\"2015\",\"month\":\"September\",\"language\":\"Japanese\",\"bibtex\":\"@phdthesis{phdthesisen,\\n  author      = {Takano, Y.},\\n  title       = {Reducing Memory Allocations in Lazy Functional Programs},\\n  school      = {The University of Electro-Communications},\\n  year        = {2015},\\n  month       = {September},\\n  language    = {Japanese}\\n}\\n\\n\",\"author_short\":[\"Takano, Y.\"],\"key\":\"phdthesisen\",\"id\":\"phdthesisen\",\"bibbaseid\":\"takano-reducingmemoryallocationsinlazyfunctionalprograms-2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"masterthesis\",\"type\":\"masterthesis\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]}],\"title\":\"A Scheme Compiler with First-class Improving Sequence\",\"school\":\"The University of Electro-Communications\",\"year\":\"2006\",\"month\":\"Martch\",\"language\":\"Japanese\",\"bibtex\":\"@masterthesis{masterthesisen,\\n  author  = {Takano, Y.},\\n  title   = {A Scheme Compiler with First-class Improving Sequence},\\n  school  = {The University of Electro-Communications},\\n  year    = {2006},\\n  month   = {Martch},\\n  language        = {Japanese}\\n}\\n\\n\",\"author_short\":[\"Takano, Y.\"],\"key\":\"masterthesisen\",\"id\":\"masterthesisen\",\"bibbaseid\":\"takano-aschemecompilerwithfirstclassimprovingsequence-2006\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Chishiro\"],\"firstnames\":[\"E.\"],\"suffixes\":[]}],\"title\":\"Execution Strategy of SMT Solvers with Repetitive Trials\",\"journal\":\"IPSJ Programing\",\"volume\":\"11\",\"number\":\"2\",\"year\":\"2018\",\"pages\":\"9–19\",\"language\":\"Japanese\",\"bibtex\":\"@article{smtproen,\\n  author          = {Takano, Y and Chishiro, E.},\\n  title           = {Execution Strategy of SMT Solvers with Repetitive Trials},\\n  journal         = {IPSJ Programing},\\n  volume          = {11},\\n  number          = {2},\\n  year            = {2018},\\n  pages           = {9--19},\\n  language        = {Japanese}\\n}\\n\\n\",\"author_short\":[\"Takano, Y\",\"Chishiro, E.\"],\"key\":\"smtproen\",\"id\":\"smtproen\",\"bibbaseid\":\"takano-chishiro-executionstrategyofsmtsolverswithrepetitivetrials-2018\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Iwasaki\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Sato\"],\"firstnames\":[\"S.\"],\"suffixes\":[]}],\"title\":\"Design and Implementation of Thunk Recycling in the Glasgow Haskell Compiler\",\"journal\":\"Computer Software\",\"volume\":\"32\",\"number\":\"1\",\"year\":\"2015\",\"pages\":\"253–287\",\"language\":\"Japanese\",\"bibtex\":\"@article{rtcompsoften,\\n  author          = {Takano, Y. and Iwasaki, H. and Sato, S.},\\n  title           = {Design and Implementation of Thunk Recycling in the Glasgow Haskell Compiler},\\n  journal         = {Computer Software},\\n  volume          = {32},\\n  number          = {1},\\n  year            = {2015},\\n  pages           = {253--287},\\n  language        = {Japanese}\\n}\\n\\n\",\"author_short\":[\"Takano, Y.\",\"Iwasaki, H.\",\"Sato, S.\"],\"key\":\"rtcompsoften\",\"id\":\"rtcompsoften\",\"bibbaseid\":\"takano-iwasaki-sato-designandimplementationofthunkrecyclingintheglasgowhaskellcompiler-2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Iwasaki\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ugawa\"],\"firstnames\":[\"T.\"],\"suffixes\":[]}],\"title\":\"Reusing Thunks for Recursive Data Structures in Glasgow Haskell Compiler\",\"journal\":\"IPSJ Programing\",\"volume\":\"5\",\"number\":\"2\",\"year\":\"2012\",\"pages\":\"67–78\",\"language\":\"Japanese\",\"bibtex\":\"@article{rtproen,\\n  author          = {Takano, Y. and Iwasaki, H. and Ugawa, T.},\\n  title           = {Reusing Thunks for Recursive Data Structures in Glasgow Haskell Compiler},\\n  journal         = {IPSJ Programing},\\n  volume          = {5},\\n  number          = {2},\\n  year            = {2012},\\n  pages           = {67--78},\\n  language        = {Japanese}\\n}\\n\\n\",\"author_short\":[\"Takano, Y.\",\"Iwasaki, H.\",\"Ugawa, T.\"],\"key\":\"rtproen\",\"id\":\"rtproen\",\"bibbaseid\":\"takano-iwasaki-ugawa-reusingthunksforrecursivedatastructuresinglasgowhaskellcompiler-2012\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Iwasaki\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Morimoto\"],\"firstnames\":[\"T.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]}],\"title\":\"Pruning with Improving Sequence in Lazy Functional Programs\",\"journal\":\"Higher-Order and Symbolic Computation\",\"volume\":\"24\",\"number\":\"4\",\"year\":\"2011\",\"pages\":\"281–309\",\"bibtex\":\"@article{is1en,\\n  author          = {Iwasaki, H. and  Morimoto, T. and Takano, Y.},\\n  title           = {Pruning with Improving Sequence in Lazy Functional Programs},\\n  journal         = {Higher-Order and Symbolic Computation},\\n  volume          = {24},\\n  number          = {4},\\n  year            = {2011},\\n  pages           = {281--309}\\n}\\n\\n\",\"author_short\":[\"Iwasaki, H.\",\"Morimoto, T.\",\"Takano, Y.\"],\"key\":\"is1en\",\"id\":\"is1en\",\"bibbaseid\":\"iwasaki-morimoto-takano-pruningwithimprovingsequenceinlazyfunctionalprograms-2011\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Sakaji\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kohana\"],\"firstnames\":[\"M.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kobayashi\"],\"firstnames\":[\"A.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Izumi\"],\"firstnames\":[\"K.\"],\"suffixes\":[]}],\"title\":\"Card Price Prediction of Trading Cards using Machine Learning Methods\",\"booktitle\":\"The 8th International Workshop on Web Services and Social Media In conjunction with the 22th International Conference on NBiS-2019(WSSM-2019)\",\"year\":\"2019\",\"month\":\"September\",\"location\":\"Oita, Japan\",\"pages\":\"705–714\",\"bibtex\":\"@inproceedings{cardpriceen,\\n  author          = {Sakaji, H. and Kohana, M. and Kobayashi, A. and Takano, Y. and Izumi, K.},\\n  title           = {Card Price Prediction of Trading Cards using Machine Learning Methods},\\n  booktitle       = {The 8th International Workshop on Web Services and Social Media In conjunction with the 22th International Conference on NBiS-2019(WSSM-2019)},\\n  year            = {2019},\\n  month           = {September},\\n  location        = {Oita, Japan},\\n  pages           = {705--714}\\n}\\n\\n\",\"author_short\":[\"Sakaji, H.\",\"Kohana, M.\",\"Kobayashi, A.\",\"Takano, Y.\",\"Izumi, K.\"],\"key\":\"cardpriceen\",\"id\":\"cardpriceen\",\"bibbaseid\":\"sakaji-kohana-kobayashi-takano-izumi-cardpricepredictionoftradingcardsusingmachinelearningmethods-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Sakaji\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kobayashi\"],\"firstnames\":[\"A.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kohana\"],\"firstnames\":[\"M.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Izumi\"],\"firstnames\":[\"K.\"],\"suffixes\":[]}],\"title\":\"Estimation of Tags Using Various Data for Online Videos\",\"booktitle\":\"The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)\",\"year\":\"2019\",\"month\":\"March\",\"location\":\"Matsue, Japan\",\"pages\":\"301–312\",\"bibtex\":\"@inproceedings{estimationtagsen,\\n  author          = {Sakaji, H. and Kobayashi, A. and Kohana, M. and Takano, Y. and Izumi, K.},\\n  title           = {Estimation of Tags Using Various Data for Online Videos},\\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\\n  year            = {2019},\\n  month           = {March},\\n  location        = {Matsue, Japan},\\n  pages           = {301--312}\\n}\\n\\n\",\"author_short\":[\"Sakaji, H.\",\"Kobayashi, A.\",\"Kohana, M.\",\"Takano, Y.\",\"Izumi, K.\"],\"key\":\"estimationtagsen\",\"id\":\"estimationtagsen\",\"bibbaseid\":\"sakaji-kobayashi-kohana-takano-izumi-estimationoftagsusingvariousdataforonlinevideos-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Kawaguchi\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Sakuta\"],\"firstnames\":[\"H.\"],\"suffixes\":[]}],\"title\":\"Personal Book Management Application on Blockchain\",\"booktitle\":\"The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)\",\"year\":\"2019\",\"month\":\"March\",\"location\":\"Matsue, Japan\",\"pages\":\"388-396\",\"bibtex\":\"@inproceedings{blockchainbooksen,\\n  author          = {Kawaguchi, H. and Takano, Y. and Sakuta, H.},\\n  title           = {Personal Book Management Application on Blockchain},\\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\\n  year            = {2019},\\n  month           = {March},\\n  location        = {Matsue, Japan},\\n  pages           = {388-396}\\n}\\n\\n\",\"author_short\":[\"Kawaguchi, H.\",\"Takano, Y.\",\"Sakuta, H.\"],\"key\":\"blockchainbooksen\",\"id\":\"blockchainbooksen\",\"bibbaseid\":\"kawaguchi-takano-sakuta-personalbookmanagementapplicationonblockchain-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Iijima\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kobayashi\"],\"firstnames\":[\"K.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Sakuta\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Sakaji\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kohana\"],\"firstnames\":[\"M.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kobayashi\"],\"firstnames\":[\"A.\"],\"suffixes\":[]}],\"title\":\"Improving Document Similarity Calculation Using Cosine-Similarity Graphs\",\"booktitle\":\"The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)\",\"year\":\"2019\",\"month\":\"March\",\"location\":\"Matsue, Japan\",\"pages\":\"512–522\",\"bibtex\":\"@inproceedings{cosinesimen,\\n  author          = {Takano, Y. and Iijima, Y. and Kobayashi, K. and Sakuta, H. and Sakaji, H. and Kohana, M. and Kobayashi, A.},\\n  title           = {Improving Document Similarity Calculation Using Cosine-Similarity Graphs},\\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\\n  year            = {2019},\\n  month           = {March},\\n  location        = {Matsue, Japan},\\n  pages           = {512--522}\\n}\\n\\n\",\"author_short\":[\"Takano, Y.\",\"Iijima, Y.\",\"Kobayashi, K.\",\"Sakuta, H.\",\"Sakaji, H.\",\"Kohana, M.\",\"Kobayashi, A.\"],\"key\":\"cosinesimen\",\"id\":\"cosinesimen\",\"bibbaseid\":\"takano-iijima-kobayashi-sakuta-sakaji-kohana-kobayashi-improvingdocumentsimilaritycalculationusingcosinesimilaritygraphs-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Iwasaki\"],\"firstnames\":[\"H\"],\"suffixes\":[]}],\"title\":\"Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness\",\"booktitle\":\"30th ACM/SIGAPP Symposium on Applied Computing (SAC2015)\",\"year\":\"2015\",\"month\":\"April\",\"location\":\"Salamanca, Spain\",\"pages\":\"2079–2086\",\"bibtex\":\"@inproceedings{rtsacen,\\n  author          = {Takano,Y. and Iwasaki,H},\\n  title           = {Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness},\\n  booktitle       = {30th ACM/SIGAPP Symposium on Applied Computing (SAC2015)},\\n  year            = {2015},\\n  month           = {April},\\n  location        = {Salamanca, Spain},\\n  pages           = {2079--2086}\\n}\\n\\n\",\"author_short\":[\"Takano, Y.\",\"Iwasaki, H\"],\"key\":\"rtsacen\",\"id\":\"rtsacen\",\"bibbaseid\":\"takano-iwasaki-thunkrecyclingforlazyfunctionallanguagesoperationalsemanticsandcorrectness-2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Morimoto\"],\"firstnames\":[\"T.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Iwasaki\"],\"firstnames\":[\"H\"],\"suffixes\":[]}],\"title\":\"Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning\",\"booktitle\":\"International Symposium on Practical Aspects of Declarative Languages\",\"volume\":\"4354\",\"year\":\"2007\",\"month\":\"January\",\"location\":\"Nice, France\",\"pages\":\"65–79\",\"bibtex\":\"@inproceedings{moren,\\n  author          = {Morimoto,T. and Takano,Y. and Iwasaki,H},\\n  title           = {Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning},\\n  booktitle       = {International Symposium on Practical Aspects of Declarative Languages},\\n  volume          = {4354},\\n  year            = {2007},\\n  month           = {January},\\n  location        = {Nice, France},\\n  pages           = {65--79}\\n}\\n\\n\",\"author_short\":[\"Morimoto, T.\",\"Takano, Y.\",\"Iwasaki, H\"],\"key\":\"moren\",\"id\":\"moren\",\"bibbaseid\":\"morimoto-takano-iwasaki-instantlyturninganaiveexhaustivesearchintothreeefficientsearcheswithpruning-2007\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"proceedings\",\"type\":\"proceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Iwasaki\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ugawa\"],\"firstnames\":[\"T.\"],\"suffixes\":[]}],\"title\":\"Reducing Thunks for Recursive Data Structures in Lazy Functional Programs\",\"booktitle\":\"Haskell Implementation Workshop 2011\",\"year\":\"2011\",\"month\":\"September\",\"location\":\"Tokyo, Japan\",\"bibtex\":\"@proceedings{rthiwen,\\n  author          = {Takano, Y. and Iwasaki, H. and Ugawa, T.},\\n  title           = {Reducing Thunks for Recursive Data Structures in Lazy Functional Programs},\\n  booktitle       = {Haskell Implementation Workshop 2011},\\n  year            = {2011},\\n  month           = {September},\\n  location        = {Tokyo, Japan}\\n}\\n\",\"author_short\":[\"Takano, Y.\",\"Iwasaki, H.\",\"Ugawa, T.\"],\"key\":\"rthiwen\",\"id\":\"rthiwen\",\"bibbaseid\":\"takano-iwasaki-ugawa-reducingthunksforrecursivedatastructuresinlazyfunctionalprograms-2011\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"}],\n      metadata: {\"owner\":\"takano, y\",\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\n      ownerID: \"XKwzKPQTN3bhQrHQe\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"pubs_en.bib\" href=\"data:text/bibtex;base64,QHBoZHRoZXNpc3twaGR0aGVzaXNlbiwKICBhdXRob3IgICAgICA9IHtUYWthbm8sIFkufSwKICB0aXRsZSAgICAgICA9IHtSZWR1Y2luZyBNZW1vcnkgQWxsb2NhdGlvbnMgaW4gTGF6eSBGdW5jdGlvbmFsIFByb2dyYW1zfSwKICBzY2hvb2wgICAgICA9IHtUaGUgVW5pdmVyc2l0eSBvZiBFbGVjdHJvLUNvbW11bmljYXRpb25zfSwKICB5ZWFyICAgICAgICA9IHsyMDE1fSwKICBtb250aCAgICAgICA9IHtTZXB0ZW1iZXJ9LAogIGxhbmd1YWdlICAgID0ge0phcGFuZXNlfQp9CgoKCkBtYXN0ZXJ0aGVzaXN7bWFzdGVydGhlc2lzZW4sCiAgYXV0aG9yICA9IHtUYWthbm8sIFkufSwKICB0aXRsZSAgID0ge0EgU2NoZW1lIENvbXBpbGVyIHdpdGggRmlyc3QtY2xhc3MgSW1wcm92aW5nIFNlcXVlbmNlfSwKICBzY2hvb2wgID0ge1RoZSBVbml2ZXJzaXR5IG9mIEVsZWN0cm8tQ29tbXVuaWNhdGlvbnN9LAogIHllYXIgICAgPSB7MjAwNn0sCiAgbW9udGggICA9IHtNYXJ0Y2h9LAogIGxhbmd1YWdlICAgICAgICA9IHtKYXBhbmVzZX0KfQoKCgpAYXJ0aWNsZXtzbXRwcm9lbiwKICBhdXRob3IgICAgICAgICAgPSB7VGFrYW5vLCBZIGFuZCBDaGlzaGlybywgRS59LAogIHRpdGxlICAgICAgICAgICA9IHtFeGVjdXRpb24gU3RyYXRlZ3kgb2YgU01UIFNvbHZlcnMgd2l0aCBSZXBldGl0aXZlIFRyaWFsc30sCiAgam91cm5hbCAgICAgICAgID0ge0lQU0ogUHJvZ3JhbWluZ30sCiAgdm9sdW1lICAgICAgICAgID0gezExfSwKICBudW1iZXIgICAgICAgICAgPSB7Mn0sCiAgeWVhciAgICAgICAgICAgID0gezIwMTh9LAogIHBhZ2VzICAgICAgICAgICA9IHs5LS0xOX0sCiAgbGFuZ3VhZ2UgICAgICAgID0ge0phcGFuZXNlfQp9CgoKCkBhcnRpY2xle3J0Y29tcHNvZnRlbiwKICBhdXRob3IgICAgICAgICAgPSB7VGFrYW5vLCBZLiBhbmQgSXdhc2FraSwgSC4gYW5kIFNhdG8sIFMufSwKICB0aXRsZSAgICAgICAgICAgPSB7RGVzaWduIGFuZCBJbXBsZW1lbnRhdGlvbiBvZiBUaHVuayBSZWN5Y2xpbmcgaW4gdGhlIEdsYXNnb3cgSGFza2VsbCBDb21waWxlcn0sCiAgam91cm5hbCAgICAgICAgID0ge0NvbXB1dGVyIFNvZnR3YXJlfSwKICB2b2x1bWUgICAgICAgICAgPSB7MzJ9LAogIG51bWJlciAgICAgICAgICA9IHsxfSwKICB5ZWFyICAgICAgICAgICAgPSB7MjAxNX0sCiAgcGFnZXMgICAgICAgICAgID0gezI1My0tMjg3fSwKICBsYW5ndWFnZSAgICAgICAgPSB7SmFwYW5lc2V9Cn0KCgoKQGFydGljbGV7cnRwcm9lbiwKICBhdXRob3IgICAgICAgICAgPSB7VGFrYW5vLCBZLiBhbmQgSXdhc2FraSwgSC4gYW5kIFVnYXdhLCBULn0sCiAgdGl0bGUgICAgICAgICAgID0ge1JldXNpbmcgVGh1bmtzIGZvciBSZWN1cnNpdmUgRGF0YSBTdHJ1Y3R1cmVzIGluIEdsYXNnb3cgSGFza2VsbCBDb21waWxlcn0sCiAgam91cm5hbCAgICAgICAgID0ge0lQU0ogUHJvZ3JhbWluZ30sCiAgdm9sdW1lICAgICAgICAgID0gezV9LAogIG51bWJlciAgICAgICAgICA9IHsyfSwKICB5ZWFyICAgICAgICAgICAgPSB7MjAxMn0sCiAgcGFnZXMgICAgICAgICAgID0gezY3LS03OH0sCiAgbGFuZ3VhZ2UgICAgICAgID0ge0phcGFuZXNlfQp9CgoKCkBhcnRpY2xle2lzMWVuLAogIGF1dGhvciAgICAgICAgICA9IHtJd2FzYWtpLCBILiBhbmQgIE1vcmltb3RvLCBULiBhbmQgVGFrYW5vLCBZLn0sCiAgdGl0bGUgICAgICAgICAgID0ge1BydW5pbmcgd2l0aCBJbXByb3ZpbmcgU2VxdWVuY2UgaW4gTGF6eSBGdW5jdGlvbmFsIFByb2dyYW1zfSwKICBqb3VybmFsICAgICAgICAgPSB7SGlnaGVyLU9yZGVyIGFuZCBTeW1ib2xpYyBDb21wdXRhdGlvbn0sCiAgdm9sdW1lICAgICAgICAgID0gezI0fSwKICBudW1iZXIgICAgICAgICAgPSB7NH0sCiAgeWVhciAgICAgICAgICAgID0gezIwMTF9LAogIHBhZ2VzICAgICAgICAgICA9IHsyODEtLTMwOX0KfQoKCgpAaW5wcm9jZWVkaW5nc3tjYXJkcHJpY2VlbiwKICBhdXRob3IgICAgICAgICAgPSB7U2FrYWppLCBILiBhbmQgS29oYW5hLCBNLiBhbmQgS29iYXlhc2hpLCBBLiBhbmQgVGFrYW5vLCBZLiBhbmQgSXp1bWksIEsufSwKICB0aXRsZSAgICAgICAgICAgPSB7Q2FyZCBQcmljZSBQcmVkaWN0aW9uIG9mIFRyYWRpbmcgQ2FyZHMgdXNpbmcgTWFjaGluZSBMZWFybmluZyBNZXRob2RzfSwKICBib29rdGl0bGUgICAgICAgPSB7VGhlIDh0aCBJbnRlcm5hdGlvbmFsIFdvcmtzaG9wIG9uIFdlYiBTZXJ2aWNlcyBhbmQgU29jaWFsIE1lZGlhIEluIGNvbmp1bmN0aW9uIHdpdGggdGhlIDIydGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIE5CaVMtMjAxOShXU1NNLTIwMTkpfSwKICB5ZWFyICAgICAgICAgICAgPSB7MjAxOX0sCiAgbW9udGggICAgICAgICAgID0ge1NlcHRlbWJlcn0sCiAgbG9jYXRpb24gICAgICAgID0ge09pdGEsIEphcGFufSwKICBwYWdlcyAgICAgICAgICAgPSB7NzA1LS03MTR9Cn0KCgoKQGlucHJvY2VlZGluZ3N7ZXN0aW1hdGlvbnRhZ3NlbiwKICBhdXRob3IgICAgICAgICAgPSB7U2FrYWppLCBILiBhbmQgS29iYXlhc2hpLCBBLiBhbmQgS29oYW5hLCBNLiBhbmQgVGFrYW5vLCBZLiBhbmQgSXp1bWksIEsufSwKICB0aXRsZSAgICAgICAgICAgPSB7RXN0aW1hdGlvbiBvZiBUYWdzIFVzaW5nIFZhcmlvdXMgRGF0YSBmb3IgT25saW5lIFZpZGVvc30sCiAgYm9va3RpdGxlICAgICAgID0ge1RoZSAzM3JkIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBBZHZhbmNlZCBJbmZvcm1hdGlvbiBOZXR3b3JraW5nIGFuZCBBcHBsaWNhdGlvbnMgKEFJTkEtMjAxOSl9LAogIHllYXIgICAgICAgICAgICA9IHsyMDE5fSwKICBtb250aCAgICAgICAgICAgPSB7TWFyY2h9LAogIGxvY2F0aW9uICAgICAgICA9IHtNYXRzdWUsIEphcGFufSwKICBwYWdlcyAgICAgICAgICAgPSB7MzAxLS0zMTJ9Cn0KCgoKQGlucHJvY2VlZGluZ3N7YmxvY2tjaGFpbmJvb2tzZW4sCiAgYXV0aG9yICAgICAgICAgID0ge0thd2FndWNoaSwgSC4gYW5kIFRha2FubywgWS4gYW5kIFNha3V0YSwgSC59LAogIHRpdGxlICAgICAgICAgICA9IHtQZXJzb25hbCBCb29rIE1hbmFnZW1lbnQgQXBwbGljYXRpb24gb24gQmxvY2tjaGFpbn0sCiAgYm9va3RpdGxlICAgICAgID0ge1RoZSAzM3JkIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBBZHZhbmNlZCBJbmZvcm1hdGlvbiBOZXR3b3JraW5nIGFuZCBBcHBsaWNhdGlvbnMgKEFJTkEtMjAxOSl9LAogIHllYXIgICAgICAgICAgICA9IHsyMDE5fSwKICBtb250aCAgICAgICAgICAgPSB7TWFyY2h9LAogIGxvY2F0aW9uICAgICAgICA9IHtNYXRzdWUsIEphcGFufSwKICBwYWdlcyAgICAgICAgICAgPSB7Mzg4LTM5Nn0KfQoKCgpAaW5wcm9jZWVkaW5nc3tjb3NpbmVzaW1lbiwKICBhdXRob3IgICAgICAgICAgPSB7VGFrYW5vLCBZLiBhbmQgSWlqaW1hLCBZLiBhbmQgS29iYXlhc2hpLCBLLiBhbmQgU2FrdXRhLCBILiBhbmQgU2FrYWppLCBILiBhbmQgS29oYW5hLCBNLiBhbmQgS29iYXlhc2hpLCBBLn0sCiAgdGl0bGUgICAgICAgICAgID0ge0ltcHJvdmluZyBEb2N1bWVudCBTaW1pbGFyaXR5IENhbGN1bGF0aW9uIFVzaW5nIENvc2luZS1TaW1pbGFyaXR5IEdyYXBoc30sCiAgYm9va3RpdGxlICAgICAgID0ge1RoZSAzM3JkIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBBZHZhbmNlZCBJbmZvcm1hdGlvbiBOZXR3b3JraW5nIGFuZCBBcHBsaWNhdGlvbnMgKEFJTkEtMjAxOSl9LAogIHllYXIgICAgICAgICAgICA9IHsyMDE5fSwKICBtb250aCAgICAgICAgICAgPSB7TWFyY2h9LAogIGxvY2F0aW9uICAgICAgICA9IHtNYXRzdWUsIEphcGFufSwKICBwYWdlcyAgICAgICAgICAgPSB7NTEyLS01MjJ9Cn0KCgoKQGlucHJvY2VlZGluZ3N7cnRzYWNlbiwKICBhdXRob3IgICAgICAgICAgPSB7VGFrYW5vLFkuIGFuZCBJd2FzYWtpLEh9LAogIHRpdGxlICAgICAgICAgICA9IHtUaHVuayBSZWN5Y2xpbmcgZm9yIExhenkgRnVuY3Rpb25hbCBMYW5ndWFnZXM6IE9wZXJhdGlvbmFsIFNlbWFudGljcyBhbmQgQ29ycmVjdG5lc3N9LAogIGJvb2t0aXRsZSAgICAgICA9IHszMHRoIEFDTS9TSUdBUFAgU3ltcG9zaXVtIG9uIEFwcGxpZWQgQ29tcHV0aW5nIChTQUMyMDE1KX0sCiAgeWVhciAgICAgICAgICAgID0gezIwMTV9LAogIG1vbnRoICAgICAgICAgICA9IHtBcHJpbH0sCiAgbG9jYXRpb24gICAgICAgID0ge1NhbGFtYW5jYSwgU3BhaW59LAogIHBhZ2VzICAgICAgICAgICA9IHsyMDc5LS0yMDg2fQp9CgoKCkBpbnByb2NlZWRpbmdze21vcmVuLAogIGF1dGhvciAgICAgICAgICA9IHtNb3JpbW90byxULiBhbmQgVGFrYW5vLFkuIGFuZCBJd2FzYWtpLEh9LAogIHRpdGxlICAgICAgICAgICA9IHtJbnN0YW50bHkgVHVybmluZyBhIE5haXZlIEV4aGF1c3RpdmUgU2VhcmNoIGludG8gVGhyZWUgRWZmaWNpZW50IFNlYXJjaGVzIHdpdGggUHJ1bmluZ30sCiAgYm9va3RpdGxlICAgICAgID0ge0ludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIFByYWN0aWNhbCBBc3BlY3RzIG9mIERlY2xhcmF0aXZlIExhbmd1YWdlc30sCiAgdm9sdW1lICAgICAgICAgID0gezQzNTR9LAogIHllYXIgICAgICAgICAgICA9IHsyMDA3fSwKICBtb250aCAgICAgICAgICAgPSB7SmFudWFyeX0sCiAgbG9jYXRpb24gICAgICAgID0ge05pY2UsIEZyYW5jZX0sCiAgcGFnZXMgICAgICAgICAgID0gezY1LS03OX0KfQoKCgpAcHJvY2VlZGluZ3N7cnRoaXdlbiwKICBhdXRob3IgICAgICAgICAgPSB7VGFrYW5vLCBZLiBhbmQgSXdhc2FraSwgSC4gYW5kIFVnYXdhLCBULn0sCiAgdGl0bGUgICAgICAgICAgID0ge1JlZHVjaW5nIFRodW5rcyBmb3IgUmVjdXJzaXZlIERhdGEgU3RydWN0dXJlcyBpbiBMYXp5IEZ1bmN0aW9uYWwgUHJvZ3JhbXN9LAogIGJvb2t0aXRsZSAgICAgICA9IHtIYXNrZWxsIEltcGxlbWVudGF0aW9uIFdvcmtzaG9wIDIwMTF9LAogIHllYXIgICAgICAgICAgICA9IHsyMDExfSwKICBtb250aCAgICAgICAgICAgPSB7U2VwdGVtYmVyfSwKICBsb2NhdGlvbiAgICAgICAgPSB7VG9reW8sIEphcGFufQp9Cg==\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://tyasunao.github.io/pubs_en.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://tyasunao.github.io/pubs_en.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https%3A%2F%2Ftyasunao.github.io%2Fpubs_en.bib&amp;jsonp=1&amp;fullname=1&amp;group0=type&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Ftyasunao.github.io%2Fpubs_en.bib&amp;jsonp=1&amp;fullname=1&amp;group0=type\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Ftyasunao.github.io%2Fpubs_en.bib&amp;jsonp=1&amp;fullname=1&amp;group0=type\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_article\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_article')\"\n      onkeypress=\"toggleGroup('group_article')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>article</span>\n      <span class=\"bibbase_group_count\">\n        \n        (4)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"takano-chishiro-executionstrategyofsmtsolverswithrepetitivetrials-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Execution Strategy of SMT Solvers with Repetitive Trials.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Takano, Y;  and Chishiro, E.\n</span>\n\n  \n\n</span>\n\n  <i>IPSJ Programing</i>, 11(2): 9–19.  2018.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/takano-chishiro-executionstrategyofsmtsolverswithrepetitivetrials-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('takano-chishiro-executionstrategyofsmtsolverswithrepetitivetrials-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{smtproen,\n  author          = {Takano, Y and Chishiro, E.},\n  title           = {Execution Strategy of SMT Solvers with Repetitive Trials},\n  journal         = {IPSJ Programing},\n  volume          = {11},\n  number          = {2},\n  year            = {2018},\n  pages           = {9--19},\n  language        = {Japanese}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"takano-iwasaki-sato-designandimplementationofthunkrecyclingintheglasgowhaskellcompiler-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Design and Implementation of Thunk Recycling in the Glasgow Haskell Compiler.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>; Iwasaki, H.;  and Sato, S.\n</span>\n\n  \n\n</span>\n\n  <i>Computer Software</i>, 32(1): 253–287.  2015.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/takano-iwasaki-sato-designandimplementationofthunkrecyclingintheglasgowhaskellcompiler-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('takano-iwasaki-sato-designandimplementationofthunkrecyclingintheglasgowhaskellcompiler-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{rtcompsoften,\n  author          = {Takano, Y. and Iwasaki, H. and Sato, S.},\n  title           = {Design and Implementation of Thunk Recycling in the Glasgow Haskell Compiler},\n  journal         = {Computer Software},\n  volume          = {32},\n  number          = {1},\n  year            = {2015},\n  pages           = {253--287},\n  language        = {Japanese}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"takano-iwasaki-ugawa-reusingthunksforrecursivedatastructuresinglasgowhaskellcompiler-2012\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Reusing Thunks for Recursive Data Structures in Glasgow Haskell Compiler.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>; Iwasaki, H.;  and Ugawa, T.\n</span>\n\n  \n\n</span>\n\n  <i>IPSJ Programing</i>, 5(2): 67–78.  2012.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/takano-iwasaki-ugawa-reusingthunksforrecursivedatastructuresinglasgowhaskellcompiler-2012\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('takano-iwasaki-ugawa-reusingthunksforrecursivedatastructuresinglasgowhaskellcompiler-2012')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{rtproen,\n  author          = {Takano, Y. and Iwasaki, H. and Ugawa, T.},\n  title           = {Reusing Thunks for Recursive Data Structures in Glasgow Haskell Compiler},\n  journal         = {IPSJ Programing},\n  volume          = {5},\n  number          = {2},\n  year            = {2012},\n  pages           = {67--78},\n  language        = {Japanese}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"iwasaki-morimoto-takano-pruningwithimprovingsequenceinlazyfunctionalprograms-2011\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Pruning with Improving Sequence in Lazy Functional Programs.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Iwasaki, H.; Morimoto, T.;  and <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>\n</span>\n\n  \n\n</span>\n\n  <i>Higher-Order and Symbolic Computation</i>, 24(4): 281–309.  2011.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/iwasaki-morimoto-takano-pruningwithimprovingsequenceinlazyfunctionalprograms-2011\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('iwasaki-morimoto-takano-pruningwithimprovingsequenceinlazyfunctionalprograms-2011')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{is1en,\n  author          = {Iwasaki, H. and  Morimoto, T. and Takano, Y.},\n  title           = {Pruning with Improving Sequence in Lazy Functional Programs},\n  journal         = {Higher-Order and Symbolic Computation},\n  volume          = {24},\n  number          = {4},\n  year            = {2011},\n  pages           = {281--309}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_inproceedings\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_inproceedings')\"\n      onkeypress=\"toggleGroup('group_inproceedings')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>inproceedings</span>\n      <span class=\"bibbase_group_count\">\n        \n        (6)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"sakaji-kohana-kobayashi-takano-izumi-cardpricepredictionoftradingcardsusingmachinelearningmethods-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Card Price Prediction of Trading Cards using Machine Learning Methods.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Sakaji, H.; Kohana, M.; Kobayashi, A.; <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>;  and Izumi, K.\n</span>\n\n  \n\n</span>\n\n  In <i>The 8th International Workshop on Web Services and Social Media In conjunction with the 22th International Conference on NBiS-2019(WSSM-2019)</i>, pages 705–714, September 2019. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/sakaji-kohana-kobayashi-takano-izumi-cardpricepredictionoftradingcardsusingmachinelearningmethods-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('sakaji-kohana-kobayashi-takano-izumi-cardpricepredictionoftradingcardsusingmachinelearningmethods-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cardpriceen,\n  author          = {Sakaji, H. and Kohana, M. and Kobayashi, A. and Takano, Y. and Izumi, K.},\n  title           = {Card Price Prediction of Trading Cards using Machine Learning Methods},\n  booktitle       = {The 8th International Workshop on Web Services and Social Media In conjunction with the 22th International Conference on NBiS-2019(WSSM-2019)},\n  year            = {2019},\n  month           = {September},\n  location        = {Oita, Japan},\n  pages           = {705--714}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"sakaji-kobayashi-kohana-takano-izumi-estimationoftagsusingvariousdataforonlinevideos-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Estimation of Tags Using Various Data for Online Videos.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Sakaji, H.; Kobayashi, A.; Kohana, M.; <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>;  and Izumi, K.\n</span>\n\n  \n\n</span>\n\n  In <i>The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)</i>, pages 301–312, March 2019. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/sakaji-kobayashi-kohana-takano-izumi-estimationoftagsusingvariousdataforonlinevideos-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('sakaji-kobayashi-kohana-takano-izumi-estimationoftagsusingvariousdataforonlinevideos-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{estimationtagsen,\n  author          = {Sakaji, H. and Kobayashi, A. and Kohana, M. and Takano, Y. and Izumi, K.},\n  title           = {Estimation of Tags Using Various Data for Online Videos},\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\n  year            = {2019},\n  month           = {March},\n  location        = {Matsue, Japan},\n  pages           = {301--312}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"kawaguchi-takano-sakuta-personalbookmanagementapplicationonblockchain-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Personal Book Management Application on Blockchain.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Kawaguchi, H.; <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>;  and Sakuta, H.\n</span>\n\n  \n\n</span>\n\n  In <i>The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)</i>, pages 388-396, March 2019. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/kawaguchi-takano-sakuta-personalbookmanagementapplicationonblockchain-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('kawaguchi-takano-sakuta-personalbookmanagementapplicationonblockchain-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{blockchainbooksen,\n  author          = {Kawaguchi, H. and Takano, Y. and Sakuta, H.},\n  title           = {Personal Book Management Application on Blockchain},\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\n  year            = {2019},\n  month           = {March},\n  location        = {Matsue, Japan},\n  pages           = {388-396}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"takano-iijima-kobayashi-sakuta-sakaji-kohana-kobayashi-improvingdocumentsimilaritycalculationusingcosinesimilaritygraphs-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Improving Document Similarity Calculation Using Cosine-Similarity Graphs.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>; Iijima, Y.; Kobayashi, K.; Sakuta, H.; Sakaji, H.; Kohana, M.;  and Kobayashi, A.\n</span>\n\n  \n\n</span>\n\n  In <i>The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)</i>, pages 512–522, March 2019. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/takano-iijima-kobayashi-sakuta-sakaji-kohana-kobayashi-improvingdocumentsimilaritycalculationusingcosinesimilaritygraphs-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('takano-iijima-kobayashi-sakuta-sakaji-kohana-kobayashi-improvingdocumentsimilaritycalculationusingcosinesimilaritygraphs-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cosinesimen,\n  author          = {Takano, Y. and Iijima, Y. and Kobayashi, K. and Sakuta, H. and Sakaji, H. and Kohana, M. and Kobayashi, A.},\n  title           = {Improving Document Similarity Calculation Using Cosine-Similarity Graphs},\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\n  year            = {2019},\n  month           = {March},\n  location        = {Matsue, Japan},\n  pages           = {512--522}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"takano-iwasaki-thunkrecyclingforlazyfunctionallanguagesoperationalsemanticsandcorrectness-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>;  and Iwasaki, H\n</span>\n\n  \n\n</span>\n\n  In <i>30th ACM/SIGAPP Symposium on Applied Computing (SAC2015)</i>, pages 2079–2086, April 2015. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/takano-iwasaki-thunkrecyclingforlazyfunctionallanguagesoperationalsemanticsandcorrectness-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('takano-iwasaki-thunkrecyclingforlazyfunctionallanguagesoperationalsemanticsandcorrectness-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{rtsacen,\n  author          = {Takano,Y. and Iwasaki,H},\n  title           = {Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness},\n  booktitle       = {30th ACM/SIGAPP Symposium on Applied Computing (SAC2015)},\n  year            = {2015},\n  month           = {April},\n  location        = {Salamanca, Spain},\n  pages           = {2079--2086}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"morimoto-takano-iwasaki-instantlyturninganaiveexhaustivesearchintothreeefficientsearcheswithpruning-2007\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Morimoto, T.; <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>;  and Iwasaki, H\n</span>\n\n  \n\n</span>\n\n  In <i>International Symposium on Practical Aspects of Declarative Languages</i>, volume 4354, pages 65–79, January 2007. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/morimoto-takano-iwasaki-instantlyturninganaiveexhaustivesearchintothreeefficientsearcheswithpruning-2007\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('morimoto-takano-iwasaki-instantlyturninganaiveexhaustivesearchintothreeefficientsearcheswithpruning-2007')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{moren,\n  author          = {Morimoto,T. and Takano,Y. and Iwasaki,H},\n  title           = {Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning},\n  booktitle       = {International Symposium on Practical Aspects of Declarative Languages},\n  volume          = {4354},\n  year            = {2007},\n  month           = {January},\n  location        = {Nice, France},\n  pages           = {65--79}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_masterthesis\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_masterthesis')\"\n      onkeypress=\"toggleGroup('group_masterthesis')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>masterthesis</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"takano-aschemecompilerwithfirstclassimprovingsequence-2006\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  A Scheme Compiler with First-class Improving Sequence.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>\n</span>\n\n  \n\n</span>\n\n  Martch 2006.<!-- NOTE FROM BIBBASE: This entry has an invalid bibtex entry type: masterthesis. Therefore, we don't know how to render it properly. Please consider fixing this. -->\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/takano-aschemecompilerwithfirstclassimprovingsequence-2006\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('takano-aschemecompilerwithfirstclassimprovingsequence-2006')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@masterthesis{masterthesisen,\n  author  = {Takano, Y.},\n  title   = {A Scheme Compiler with First-class Improving Sequence},\n  school  = {The University of Electro-Communications},\n  year    = {2006},\n  month   = {Martch},\n  language        = {Japanese}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_phdthesis\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_phdthesis')\"\n      onkeypress=\"toggleGroup('group_phdthesis')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>phdthesis</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"takano-reducingmemoryallocationsinlazyfunctionalprograms-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Reducing Memory Allocations in Lazy Functional Programs.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>\n</span>\n\n  \n\n</span>\n\n  Ph.D. Thesis, The University of Electro-Communications, September 2015.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/takano-reducingmemoryallocationsinlazyfunctionalprograms-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('takano-reducingmemoryallocationsinlazyfunctionalprograms-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@phdthesis{phdthesisen,\n  author      = {Takano, Y.},\n  title       = {Reducing Memory Allocations in Lazy Functional Programs},\n  school      = {The University of Electro-Communications},\n  year        = {2015},\n  month       = {September},\n  language    = {Japanese}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_proceedings\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_proceedings')\"\n      onkeypress=\"toggleGroup('group_proceedings')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>proceedings</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"takano-iwasaki-ugawa-reducingthunksforrecursivedatastructuresinlazyfunctionalprograms-2011\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Reducing Thunks for Recursive Data Structures in Lazy Functional Programs.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>; Iwasaki, H.;  and Ugawa, T.\n</span>\n\n  \n\n</span>\n\n  September 2011.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/takano-iwasaki-ugawa-reducingthunksforrecursivedatastructuresinlazyfunctionalprograms-2011\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('takano-iwasaki-ugawa-reducingthunksforrecursivedatastructuresinlazyfunctionalprograms-2011')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@proceedings{rthiwen,\n  author          = {Takano, Y. and Iwasaki, H. and Ugawa, T.},\n  title           = {Reducing Thunks for Recursive Data Structures in Lazy Functional Programs},\n  booktitle       = {Haskell Implementation Workshop 2011},\n  year            = {2011},\n  month           = {September},\n  location        = {Tokyo, Japan}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);