16 research outputs found
Values for a Post-Pandemic Future
This open access book shows how value sensitive design (VSD), responsible innovation, and comprehensive engineering can guide the rapid development of technological responses to the COVID-19 crisis. Responding to the ethical challenges of data-driven technologies and other tools requires thinking about values in the context of a pandemic as well as in a post-COVID world. Instilling values must be prioritized from the beginning, not only in the emergency response to the pandemic, but in how to proceed with new societal precedents materializing, new norms of health surveillance, and new public health requirements. The contributors with expertise in VSD bridge the gap between ethical acceptability and social acceptance. By addressing ethical acceptability and societal acceptance together, VSD guides COVID-technologies in a way that strengthens their ability to fight the virus, and outlines pathways for the resolution of moral dilemmas. This volume provides diachronic reflections on the crisis response to address long-term moral consequences in light of the post-pandemic future. Both contact-tracing apps and immunity passports must work in a multi-system environment, and will be required to succeed alongside institutions, incentive structures, regulatory bodies, and current legislation. This text appeals to students, researchers and importantly, professionals in the field
Values for a Post-Pandemic Future
This Open Access book shows how value sensitive design (VSD), responsible innovation, and comprehensive engineering can guide the rapid development of technological responses to the COVID-19 crisis. Responding to the ethical challenges of data-driven technologies and other tools requires thinking about values in the context of a pandemic as well as in a post-COVID world. Instilling values must be prioritized from the beginning, not only in the emergency response to the pandemic, but in how to proceed with new societal precedents materializing, new norms of health surveillance, and new public health requirements.
The contributors with expertise in VSD bridge the gap between ethical acceptability and social acceptance. By addressing ethical acceptability and societal acceptance together, VSD guides COVID-technologies in a way that strengthens their ability to fight the virus, and outlines pathways for the resolution of moral dilemmas. This volume provides diachronic reflections on the crisis response to address long-term moral consequences in light of the post-pandemic future. Both contact-tracing apps and immunity passports must work in a multi-system environment, and will be required to succeed alongside institutions, incentive structures, regulatory bodies, and current legislation. This text appeals to students, researchers and importantly, professionals in the field
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
It is well known that the length of a beta-reduction sequence of a simply
typed lambda-term of order k can be huge; it is as large as k-fold exponential
in the size of the lambda-term in the worst case. We consider the following
relevant question about quantitative properties, instead of the worst case: how
many simply typed lambda-terms have very long reduction sequences? We provide a
partial answer to this question, by showing that asymptotically almost every
simply typed lambda-term of order k has a reduction sequence as long as
(k-1)-fold exponential in the term size, under the assumption that the arity of
functions and the number of variables that may occur in every subterm are
bounded above by a constant. To prove it, we have extended the infinite monkey
theorem for strings to a parametrized one for regular tree languages, which may
be of independent interest. The work has been motivated by quantitative
analysis of the complexity of higher-order model checking
高階モデル検査による制御フロー解析
Tohoku University亀山充